The Deductive Foundations of Computer Programming : A One-Volume Version of "The Logical Basis for Computer Programming"

Uložené v:
Podrobná bibliografia
Hlavní autori: Manna, Zohar (Autor), Waldinger, Richard (Autor)
Médium: Kniha
Jazyk:English
Vydavateľské údaje: Reading : Addison-Wesley Publishing Company, 1993
Tagy: Pridať tag
Žiadne tagy, Buďte prvý, kto otaguje tento záznam!