Declarative agent languages and technologies VI
: 6th international workshop ; revised selected and invited papers / DALT 2008, Estoril, Portugal, May 12, 2008. Matteo Baldoni ... (ed.). - Heidelberg : Springer, 2008. - Online-Ressource - (Lecture notes in computer science; 5397 : Lecture notes in artificial intelligence)
ISBN 978-3-540-93920-7
Lizenzpflichtig
Quelle: DNB
Brummayer, Robert: Efficient SMT solving for bit vectors and the extensional theory of arrays
/ Robert Brummayer. - Linz : Trauner, 2010. - 142 S. : graph. Darst.; 21 cm - (Schriften der Johannes-Kepler-Universität Linz : Reihe C, Technik und Naturwissenschaften; 61)
ISBN 978-3-85499-707-8 kart.
Quelle: DNB
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 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 and software engineering
: proceedings / 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5 - 7, 2003. Jin Song Dong ; Jim Woodcock (ed.). - Berlin : Springer, 2003. - XI, 681 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 2885)
ISBN 978-3-540-20461-9 / 3-540-20461-X kart. : EUR 79.18
Literaturangaben
Quelle: DNB
Formal methods and software engineering
: proceedings / 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5 - 7, 2003. Jin Song Dong ... (ed.). - Berlin : Springer, 2003. - Online-Ressource - (Lecture notes in computer science; 2885)
ISBN 978-3-540-39893-6
Lizenzpflichtig
Quelle: DNB
Formal methods and software engineering
: proceedings / 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1 - 3, 2006. Zhiming Liu ... (ed.). - Berlin : Springer, 2006. - Online-Ressource - (Lecture notes in computer science; 4260)
ISBN 978-3-540-47462-3
Lizenzpflichtig
Quelle: DNB
Formal methods and software engineering
: proceedings / 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27 - 31, 2008. Shaoying Liu ... (ed.). - Berlin : Springer, 2008. - Online-Ressource - (Lecture notes in computer science; 5256)
ISBN 978-3-540-88194-0
Lizenzpflichtig
Quelle: DNB
Formal methods and software engineering
: proceedings / 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8 - 12, 2004. Jim Davies ... (ed.). - Berlin : Springer, 2004. - XIII, 500 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 3308)
ISBN 978-3-540-23841-6 / 3-540-23841-7 : EUR 68.48 (freier Pr.), sfr 113.00 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
Formal methods for industrial critical systems
: 12th international workshop ; revised selected papers / FMICS 2007, Berlin, Germany, July 1 - 2, 2007. Stefan Leue ... (ed.). - Berlin : Springer, 2008. - Online-Ressource - (Lecture notes in computer science; 4916)
ISBN 978-3-540-79707-4
Lizenzpflichtig
Quelle: DNB
