Formal Methods and Software Development Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT). Berlin, March 25-29, 1985

Λεπτομέρειες βιβλιογραφικής εγγραφής
Άλλοι συγγραφείς: Floyd, Christiane, Εhrig, Hartmut
Μορφή: Βιβλίο
Γλώσσα:English
Έκδοση: Berlin Springer-Verlag c1985
Σειρά:Lecture Notes in Computer Science / G. Goos and J. Hartmanis 186
Θέματα:
LEADER 01189cam a22002533u 4500
001 10100763
003 upatras
005 20210917082450.0
008 991022s eng
952 |0 0  |1 0  |2 ddc  |4 0  |6 004_015000000000000_1_FOR  |7 0  |9 122791  |a CEID  |b CEID  |d 2016-04-24  |l 0  |o 004.015 1 FOR  |r 2016-04-24 00:00:00  |t 1  |w 2016-04-24  |y BK 
999 |c 80842  |d 80842 
020 |a 3540151990 
040 |a Βιβλιοθήκη ΕΑΙΤΥ  |c Βιβλιοθήκη ΕΑΙΤΥ 
245 1 0 |a Formal Methods and Software Development  |b Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT). Berlin, March 25-29, 1985 
260 |a Berlin  |b Springer-Verlag  |c c1985 
300 |a xiv, 455p.  |b fig. 
490 0 |a Lecture Notes in Computer Science / G. Goos and J. Hartmanis  |v 186 
500 |a Περιέχει βιβλιογραφικές αναφορές 
650 4 |a Ηλεκτρονικοί υπολογιστές  |x Προγραμματισμός  |9 948 
700 1 |a Floyd, Christiane  |9 113463 
700 1 |a Εhrig, Hartmut  |9 113465 
760 0 |a Lecture notes in computer science  |g 186 
852 |a GR-PaULI  |b ΠΑΤΡΑ  |b ΤΜΗΥΠ  |h OO5-OO6  |t 1 
942 |2 ddc  |c BK