Engineering Theories of Software Intensive Systems Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems Marktoberdorf, Germany 3–15 August 2004

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας: Broy, M., 1949-
Άλλοι συγγραφείς: GrΓΌnbauer, Johannes, Harel, David, 1950-, Hoare, Tony
Μορφή: Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
Γλώσσα:English
Έκδοση: Dordrecht Springer 2005
Σειρά:NATO Science Series, Series II: Mathematics, Physics and Chemistry 195
Θέματα:
Διαθέσιμο Online:http://dx.doi.org/10.1007/1-4020-3532-2
LEADER 01642nom a2200385 u 4500
001 10070665
003 upatras
005 20210922140900.0
008 090513s2005 eng
020 |a 9781402035326 
040 |a GR-PaULI  |c GR-PaULI 
041 0 |a eng 
100 1 |9 530  |a Broy, M.,   |d 1949- 
245 1 0 |a Engineering Theories of Software Intensive Systems  |h [electronic resource]  |b Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems Marktoberdorf, Germany 3–15 August 2004  |c edited by Manfred Broy, Johannes GrΓΌnbauer, David Harel, Tony Hoare 
260 |a Dordrecht  |b Springer  |c 2005 
300 |b v.: digital 
490 0 |a NATO Science Series, Series II: Mathematics, Physics and Chemistry  |v 195  |x 1568-2609 
650 4 |a Computer science  |9 13995 
650 4 |a Software engineering  |9 22316 
650 4 |a Information theory  |9 13106 
650 4 |a Computer Science  |9 64565 
650 4 |a Programming Techniques  |9 64613 
650 4 |a Software Engineering  |9 64566 
650 4 |a Programming Languages, Compilers, Interpreters  |9 64661 
650 4 |a Theory of Computation  |9 64606 
650 4 |a Models and Principles  |9 64630 
700 1 |a GrΓΌnbauer, Johannes  |9 67171 
700 1 |a Harel, David,  |d 1950-  |9 67172 
700 1 |a Hoare, Tony  |9 67173 
760 1 |a NATO Science Series, Series II: Mathematics, Physics and Chemistry  |g 195  |x 1568-2609 
852 |a GR-PaULI  |b ΠΑΤΡΑ  |b ΒΚΠ 
856 4 0 |u http://dx.doi.org/10.1007/1-4020-3532-2 
942 |2 ddc 
952 |0 0  |1 0  |4 0  |7 0  |9 72120  |a LISP  |b LISP  |d 2016-04-24  |l 0  |r 2016-04-24 00:00:00  |w 2016-04-24  |y ERS 
999 |c 46910  |d 46910