Runtime Verification First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings

Runtime Verification First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings

Εμφάνιση άλλων εκδόσεων (1)
Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας: Barringer, Howard
Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
Άλλοι συγγραφείς: Falcone, Ylies, Finkbeiner, Bernd, Havelund, Klaus, Lee, Insup, Pace, Gordon, RoΕu, Grigore, Sokolsky, Oleg, Tillmann, Nikolai
Μορφή: Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
Γλώσσα:English
Έκδοση: Berlin, Heidelberg Springer Berlin Heidelberg 2010
Σειρά:Lecture Notes in Computer Science 6418
Θέματα:
Computer science
Software engineering
Computer software
Logic design
Computer Science
Software Engineering
Algorithm Analysis and Problem Complexity
Logics and Meanings of Programs
Programming Techniques
Programming Languages, Compilers, Interpreters
Mathematical Logic and Formal Languages
Διαθέσιμο Online:http://dx.doi.org/10.1007/978-3-642-16612-9
LEADER 01972nom a2200481 u 4500
001 10093795
003 upatras
005 20210117203013.0
008 110802s2010 eng
020 |a 9783642166129 
040 |a GR-PaULI  |c GR-PaULI 
041 0 |a eng 
100 1 |a Barringer, Howard  |9 100246 
245 1 0 |a Runtime Verification  |h [electronic resource]  |b First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings  |c edited by Howard Barringer, Ylies Falcone, Bernd Finkbeiner, Klaus Havelund, Insup Lee, Gordon Pace, Grigore RoΕu, Oleg Sokolsky, Nikolai Tillmann 
260 |a Berlin, Heidelberg  |b Springer Berlin Heidelberg  |c 2010 
300 |b v.: digital 
490 0 |a Lecture Notes in Computer Science  |v 6418  |x 0302-9743 
650 4 |a Computer science  |9 13995 
650 4 |a Software engineering  |9 22316 
650 4 |a Computer software  |9 24488 
650 4 |a Logic design  |9 64563 
650 4 |a Computer Science  |9 64565 
650 4 |a Software Engineering  |9 64566 
650 4 |a Algorithm Analysis and Problem Complexity  |9 64576 
650 4 |a Logics and Meanings of Programs  |9 64567 
650 4 |a Programming Techniques  |9 64613 
650 4 |a Programming Languages, Compilers, Interpreters  |9 64661 
650 4 |a Mathematical Logic and Formal Languages  |9 67086 
700 1 |a Falcone, Ylies  |9 100247 
700 1 |a Finkbeiner, Bernd  |9 100248 
700 1 |a Havelund, Klaus  |9 100249 
700 1 |a Lee, Insup  |9 100250 
700 1 |a Pace, Gordon  |9 100251 
700 1 |a RoΕu, Grigore  |9 100252 
700 1 |a Sokolsky, Oleg  |9 95934 
700 1 |a Tillmann, Nikolai  |9 100253 
710 2 |a SpringerLink (Online service)  |9 68735 
760 1 |a Lecture notes in computer science  |g 6418  |x 0302-9743 
852 |a GR-PaULI  |b ΠΑΤΡΑ  |b ΒΚΠ 
856 4 0 |u http://dx.doi.org/10.1007/978-3-642-16612-9 
942 |2 ddc 
952 |0 0  |1 0  |4 0  |7 0  |9 101709  |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 69495  |d 69495 

Παρόμοια τεκμήρια