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.
Θέματα:
LEADER 01449nam a2200277 u 4500
001 10031916
003 GR-PaULI
005 20210117210127.0
008 000118s1987 ge eng
952 |0 0  |1 0  |2 ddc  |4 0  |6 Π_Σ_005_131000000000000_NAT  |7 0  |9 202713  |a LISP  |b LISP  |c REF  |d 2016-04-24  |i 054843  |l 0  |o Π/Σ 005.131 NAT  |p 025000073945  |r 2016-04-24 00:00:00  |t 1  |v 2016.00  |w 2016-04-24  |y BKN 
999 |c 123760  |d 123760 
020 |a 3540180036 
040 |a GR-PaULI  |c GR-PaULI  |b gre  |e AACR2 
082 0 4 |a 005.131  |2 23 
111 |9 176167  |a NATO Advanced Study Institute on Logic of Programming and Calculi of Discrete Design   |d (1986 :   |c Marktoberdorf, Germany) 
245 1 0 |a Logic of programming and calculi of discrete design /  |c edited by Manfred Broy. 
260 |a Berlin :  |b Springer-Verlag,  |c 1987. 
300 |a 413 σ. :  |b εικ. ;  |c 25 εκ. 
490 1 |a NATO ASI series : Series F: Computer and systems sciences  |v 36. 
500 |a "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" 
504 |a Περιλαμβάνει βιβλιογραφία. 
650 4 |a Γλώσσες προγραμματισμού  |9 1594 
700 1 |9 530  |a Broy, M.,   |d 1949-  |4    |e επιμελητής. 
830 0 |a NATO ASI series.   |n Series F,   |p Computer and systems sciences   |v 36.  |9 163532 
942 |2 ddc  |c BKN 
998 |c ΜΠΟΥΡΑΣ  |d 2019-06