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.
Θέματα:
LEADER 01413nam a2200277 u 4500
001 10031915
003 GR-PaULI
005 20210117210127.0
008 000118s1996 ge eng
952 |0 0  |1 0  |2 ddc  |4 0  |6 Π_Σ_004_000000000000000_NAT  |7 0  |9 202712  |a LISP  |b LISP  |c REF  |d 2016-04-24  |i 054806  |l 0  |o Π/Σ 004 NAT  |p 025000074007  |r 2016-04-24 00:00:00  |t 1  |v 2016.00  |w 2016-04-24  |y BKN 
999 |c 123759  |d 123759 
020 |a 3540609474 
040 |a GR-PaULI  |c GR-PaULI  |b gre  |e AACR2 
082 0 4 |a 004  |2 23 
111 |9 176676  |a NATO Advanced Study Institute on Deductive Program Design   |d (1994 :   |c Marktoberdorf, Germany) 
245 1 0 |a Deductive program design /  |c edited by Manfred Broy. 
260 |a Berlin :  |b Springer,  |c 1996. 
300 |a viii, 467 σ. :  |b εικ. ;  |c 25 εκ. 
490 1 |a NATO ASI series : Series F: Computer and systems sciences  |v 152. 
500 |a "Proceedings of the NATO Advanced Study Institute on Deductive Program Design, held in Marktoberdorf, Germany, July 26-August 7, 1994"--T.p. verso 
504 |a Περιλαμβάνει βιβλιογραφικές παραπομπές και ευρετήριο.  
650 4 |a Ηλεκτρονική επεξεργασία δεδομένων  |9 104330 
700 1 |9 530  |a Broy, M.,   |d 1949-  |4    |e επιμελητής. 
830 0 |9 163532  |a NATO ASI series.   |p Computer and systems sciences   |v 152. 
942 |2 ddc  |c BKN 
998 |c ΜΠΟΥΡΑΣ  |d 2019-06