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

Gespeichert in:
Bibliographische Detailangaben
Hauptverfasser: Manna, Zohar (Verfasst von), Waldinger, Richard (Verfasst von)
Format: Buch
Sprache:Englisch
Veröffentlicht: Reading : Addison-Wesley Publishing Company, 1993
Tags: Tag hinzufügen
Keine Tags, Fügen Sie das erste Tag hinzu!