Logical theory for program construction Dagstuhl-Seminar-Report; 7 25.-1.3.1991(9109)

Λεπτομέρειες βιβλιογραφικής εγγραφής
Άλλοι συγγραφείς: Finance, Jean-Pierre (Επιμελητής έκδοσης), Jahnichen, Stefan (Επιμελητής έκδοσης), Loeckx, Jacques 1931- (Επιμελητής έκδοσης)
Μορφή: Βιβλίο
Γλώσσα:English
Θέματα:

Μηχανικών Η/Υ και Πληροφορικής: Unknown

Λεπτομέρειες τεκμηρίων από Μηχανικών Η/Υ και Πληροφορικής: Unknown
Ταξιθετικός Αριθμός: Unknown
Αντίγραφο 1 Στη βιβλιοθήκη