Formal approaches to software testing and runtime verification
: revised selected papers / First Combined International Workshops FATES 2006 and RV 2006, Seattle, WA, USA, August 15 - 16, 2006. Klaus Havelund ... (ed.). - Berlin : Springer, 2006. - Online-Ressource - (Lecture notes in computer science; 4262)
ISBN 978-3-540-49703-5
Lizenzpflichtig
Quelle: DNB
Formal aspects in security and trust
: fourth international workshop ; revised selected papers / FAST 2006, Hamilton, Ontario, Canada, August 26 - 27, 2006. Theo Dimitrakos ... (ed.). - Berlin : Springer, 2007. - Online-Ressource - (Lecture notes in computer science; 4691)
ISBN 978-3-540-75227-1
Lizenzpflichtig
Quelle: DNB
Formal aspects in security and trust
: third international workshop ; revised selected papers / FAST 2005, Newcastle upon Tyne, UK, July 18 - 19, 2005. Theo Dimitrakos ... (ed.). - Berlin : Springer, 2006. - Online-Ressource - (Lecture notes in computer science; 3866)
ISBN 978-3-540-32629-8
Lizenzpflichtig
Quelle: DNB
Formal correctness of security protocols
: with 4 tables / Giampaolo Bella. - Berlin : Springer, 2007. - Online-Ressource - (Information security and cryptography)
ISBN 978-3-540-68136-6
Lizenzpflichtig
Quelle: DNB
Formal methods
: proceedings / FME 2003, International Symposium of Formal Methods Europe, Pisa, Italy, September 8 - 14, 2003. Keijiro Araki ... (ed.). - Berlin : Springer, 2003. - Online-Ressource - (Lecture notes in computer science; 2805)
ISBN 978-3-540-45236-2
Lizenzpflichtig
Quelle: DNB
Formal methods
: proceedings / FM 2008, 15th International Symposium on Formal Methods, Turku, Finland, May 26 - 30, 2008. Jorge Cuellar ... (ed.). - Berlin : Springer, 2008. - Online-Ressource - (Lecture notes in computer science; 5014)
ISBN 978-3-540-68237-0
Lizenzpflichtig
Quelle: DNB
Formal methods
: proceedings / FME 2006, 14th International Symposium on Formal Methods, Hamilton, Canada, August 21 - 27, 2006. Jayadev Misra ... (ed.). - Berlin : Springer, 2006. - Online-Ressource - (Lecture notes in computer science; 4085)
ISBN 978-3-540-37216-5
Lizenzpflichtig
Quelle: DNB
Formal methods
: proceedings / FME 2003, International Symposium of Formal Methods Europe, Newcastle, UK, July 18 - 22, 2005. John Fitzgerald ... (ed.). - Berlin : Springer, 2005. - Online-Ressource - (Lecture notes in computer science; 3582)
ISBN 978-3-540-31714-2
Lizenzpflichtig
Quelle: DNB
Formal methods
: proceedings / FME 2003, International Symposium of Formal Methods Europe, Pisa, Italy, September 8 - 14, 2003. Keijiro Araki ... (ed.). - Berlin : Springer, 2003. - XVII, 942 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 2805)
ISBN 978-3-540-40828-4 / 3-540-40828-2 kart. : EUR 98.44 (freier Pr.), sfr 153.00
Literaturangaben
Quelle: DNB
Formal methods and hybrid real-time systems
: essays in honor of Dines Bjørner and Chaochen Zhou on the occasion of their 70th birthdays / Cliff B. Jones ... (ed.). - Berlin : Springer, 2007. - Online-Ressource - (Lecture notes in computer science; 4700)
ISBN 978-3-540-75221-9
Lizenzpflichtig
Quelle: DNB
