Logic of programming and calculi of discrete design /

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή: NATO Advanced Study Institute on Logic of Programming and Calculi of Discrete Design Marktoberdorf, Germany
Άλλοι συγγραφείς: Broy, M., 1949- (επιμελητής.)
Μορφή: Πρακτικό Συνεδρίου Βιβλίο
Γλώσσα:English
Έκδοση: Berlin : Springer-Verlag, 1987.
Σειρά:NATO ASI series. Computer and systems sciences 36.
Θέματα:
Περιγραφή
Περιγραφή τεκμηρίου:"Proceedings of the NATO Advanced Study Institute on Logic of Programming and Calculi of Discrete Design held in Marktoberdorf, Federal Republic of Germany, July 29 - August 10, 1986"
Φυσική περιγραφή:413 σ. : εικ. ; 25 εκ.
Βιβλιογραφία:Περιλαμβάνει βιβλιογραφία.
ISBN:3540180036