Deductive program design /

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή: NATO Advanced Study Institute on Deductive Program Design Marktoberdorf, Germany
Άλλοι συγγραφείς: Broy, M., 1949- (επιμελητής.)
Μορφή: Πρακτικό Συνεδρίου Βιβλίο
Γλώσσα:English
Έκδοση: Berlin : Springer, 1996.
Σειρά:NATO ASI series. Computer and systems sciences 152.
Θέματα:

Παρόμοια τεκμήρια