Formal Methods: State of the Art and New Directions

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας: Boca, Paul
Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
Άλλοι συγγραφείς: Bowen, Jonathan P., Siddiqi, Jawed
Μορφή: Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
Γλώσσα:English
Έκδοση: London Springer-Verlag London 2010
Θέματα:
Διαθέσιμο Online:http://dx.doi.org/10.1007/978-1-84882-736-3
LEADER 01182nom a2200325 u 4500
001 10093171
003 upatras
005 20210117202951.0
008 110802s2010 eng
020 |a 9781848827363 
040 |a GR-PaULI  |c GR-PaULI 
041 0 |a eng 
100 1 |a Boca, Paul  |9 99206 
245 1 0 |a Formal Methods: State of the Art and New Directions  |h [electronic resource]  |c edited by Paul Boca, Jonathan P. Bowen, Jawed Siddiqi 
260 |a London  |b Springer-Verlag London  |c 2010 
300 |b v.: digital 
650 4 |a Computer science  |9 13995 
650 4 |a Software engineering  |9 22316 
650 4 |a Computer Science  |9 64565 
650 4 |a Software Engineering  |9 64566 
650 4 |a Mathematical Logic and Formal Languages  |9 67086 
650 4 |a Programming Languages, Compilers, Interpreters  |9 64661 
700 1 |a Bowen, Jonathan P.  |9 99207 
700 1 |a Siddiqi, Jawed  |9 99208 
710 2 |a SpringerLink (Online service)  |9 68735 
852 |a GR-PaULI  |b ΠΑΤΡΑ  |b ΒΚΠ 
856 4 0 |u http://dx.doi.org/10.1007/978-1-84882-736-3 
942 |2 ddc 
952 |0 0  |1 0  |4 0  |7 0  |9 101085  |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 68871  |d 68871