Formal Methods for Components and Objects 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας: Boer, Frank S.
Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
Άλλοι συγγραφείς: Bonsangue, Marcello M., Hallerstede, Stefan, Leuschel, Michael
Μορφή: Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
Γλώσσα:English
Έκδοση: Berlin, Heidelberg Springer Berlin Heidelberg 2010
Σειρά:Lecture Notes in Computer Science 6286
Θέματα:
Διαθέσιμο Online:http://dx.doi.org/10.1007/978-3-642-17071-3
LEADER 01766nom a2200421 u 4500
001 10092125
003 upatras
005 20210117202915.0
008 110802s2010 eng
020 |a 9783642170713 
040 |a GR-PaULI  |c GR-PaULI 
041 0 |a eng 
100 1 |a Boer, Frank S.  |9 97315 
245 1 0 |a Formal Methods for Components and Objects  |h [electronic resource]  |b 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers  |c edited by Frank S. Boer, Marcello M. Bonsangue, Stefan Hallerstede, Michael Leuschel 
260 |a Berlin, Heidelberg  |b Springer Berlin Heidelberg  |c 2010 
300 |b v.: digital 
490 0 |a Lecture Notes in Computer Science  |v 6286  |x 0302-9743 
650 4 |a Computer science  |9 13995 
650 4 |a Software engineering  |9 22316 
650 4 |a Operating systems (Computers)  |9 10146 
650 4 |a Logic design  |9 64563 
650 4 |a Computer Science  |9 64565 
650 4 |a Software Engineering  |9 64566 
650 4 |a Programming Languages, Compilers, Interpreters  |9 64661 
650 4 |a Operating Systems  |9 10146 
650 4 |a Logics and Meanings of Programs  |9 64567 
650 4 |a Software Engineering/Programming and Operating Systems  |9 64612 
650 4 |a Programming Techniques  |9 64613 
700 1 |a Bonsangue, Marcello M.  |9 97316 
700 1 |a Hallerstede, Stefan  |9 97317 
700 1 |a Leuschel, Michael  |9 97318 
710 2 |a SpringerLink (Online service)  |9 68735 
760 1 |a Lecture notes in computer science  |g 6286  |x 0302-9743 
852 |a GR-PaULI  |b ΠΑΤΡΑ  |b ΒΚΠ 
856 4 0 |u http://dx.doi.org/10.1007/978-3-642-17071-3 
942 |2 ddc 
952 |0 0  |1 0  |4 0  |7 0  |9 100039  |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 67825  |d 67825