Formal development of programs and proofs

Αποθηκεύτηκε σε:

Λεπτομέρειες βιβλιογραφικής εγγραφής
Άλλοι συγγραφείς:	Dijkstra, Edsger Wybe (Επιμελητής έκδοσης)
Μορφή:	Βιβλίο
Γλώσσα:	English
Δημοσίευση:	Reading, Mass. : Addison-Wesley, c1990.
Σειρά:	UT year of programming series
Θέματα:	Computer programming > Programming > Congresses.
Ετικέτες:	Προσθήκη ετικέτας Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!

MARC


LEADER	00000cam a2200000 i 4500
001	1/28083
008	941103s1990 mau \|\|\| \| eng\|\|
020			\|a 0201172372
035			\|l 10037986
035			\|a 1992 \|c ΔΩΡΕΑ
040			\|a GR-MyUA \|b gre \|e AACR2
041	0		\|a eng
082	0		\|a 005.1 \|2 (19)
245	1	0	\|a Formal development of programs and proofs / \|c edited by Edsger W. Dijkstra.
260			\|a Reading, Mass. : \|b Addison-Wesley, \|c c1990.
300			\|a xiv, 242 σ. : \|b εικ. ; \|c 25 εκ.
490	1		\|a (UT year of programming series)
504			\|a Περιέχει βιβλιογραφικές αναφορές.
650	0	0	\|a Computer programming \|x Programming \|x Congresses.
700	1		\|a Dijkstra, Edsger Wybe, \|e edt
830		0	\|a UT year of programming series
852			\|a INST \|b SAMOS \|e 19941103 \|h 005.1 FOR \|p 005300002772 \|q 005300002772 \|t BK \|y 0
909			\|a Σ \|b 021619