Constructive methods in computing science / international summer school directed by F.L. Bauer ... [et al.] /

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή: NATO Advanced Study Institute on Constructive Methods in Computing Science Marktoberdorf, Germany
Άλλοι συγγραφείς: Broy, M., 1949- (επιμελητής.)
Μορφή: Πρακτικό Συνεδρίου Βιβλίο
Γλώσσα:English
Έκδοση: Berlin : Springer-Verlag, 1989.
Σειρά:NATO ASI series. Computer and systems sciences 55.
Θέματα:
LEADER 01553nam a2200277 u 4500
001 10031861
003 GR-PaULI
005 20210117210126.0
008 000118s1989 ge eng
952 |0 0  |1 0  |2 ddc  |4 0  |6 Π_Σ_004_000000000000000_NAT  |7 0  |9 202657  |a LISP  |b LISP  |c REF  |d 2016-04-24  |i 054783  |l 0  |o Π/Σ 004 NAT  |p 025000074035  |r 2016-04-24 00:00:00  |t 1  |v 2016.00  |w 2016-04-24  |y BKN 
999 |c 123707  |d 123707 
020 |a 3540513698 
040 |a GR-PaULI  |c GR-PaULI  |b gre  |e AACR2 
082 0 4 |a 004  |2 23 
111 |9 176645  |a NATO Advanced Study Institute on Constructive Methods in Computing Science  |d (1988 :   |c Marktoberdorf, Germany) 
245 1 0 |a Constructive methods in computing science /  |b international summer school directed by F.L. Bauer ... [et al.] /   |c edited by Manfred Broy. 
260 |a Berlin :  |b Springer-Verlag,  |c 1989. 
300 |a vii, 478 σ. :  |b εικ. ;  |c 25 εκ. 
490 1 |a NATO ASI series : Series F: Computer and systems sciences  |v 55. 
500 |a "Proceedings of the NATO Advanced Study Institute on Constructive Methods in Computing Science held at Marktoberdorf, Federal Republic of Germany, July 24-August 5, 1988"--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 55. 
942 |2 ddc  |c BKN 
998 |c ΜΠΟΥΡΑΣ  |d 2019-06