Formal approaches to agent based systems
: second international workshop ; revised papers / FAABS 2002, Greenbelt, MD, USA, October 29 - 31, 2002. Michael G. Hinchey ... (ed.). - Berlin : Springer, 2003. - IX, 295 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 2699 : Lecture notes in artificial intelligence)
ISBN 978-3-540-40665-5 / 3-540-40665-4 kart. : EUR 49.22, sfr 79.00
Literaturangaben
Quelle: DNB
Formal approaches to agent based systems
: third international workshop ; revised selected papers / FAABS 2004, Greenbelt, MD, USA, April 26 - 27, 2004. Michael G. Hinchey ... (ed.). - Berlin : Springer, 2005. - VIII, 289 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 3228 : Lecture notes in artificial intelligence)
ISBN 978-3-540-24422-6 / 3-540-24422-0 kart. : EUR 48.15 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
Formal approaches to software testing
: revised papers / Third International Workshop on Formal Approaches to Testing of Software, FATES 2003, Montreal, Quebec, Canada, October 6th, 2003. Alexandre Petrenko ; Andreas Ulrich (ed.). - Berlin : Springer, 2004. - VIII, 266 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 2931)
ISBN 978-3-540-20894-5 / 3-540-20894-1 kart. : EUR 44.94 (freier Pr.), sfr 76.50
Literaturangaben
Quelle: DNB Verlagsmeldungen
Formal approaches to software testing
: revised papers / Third International Workshop on Formal Approaches to Testing of Software, FATES 2003, Montreal, Quebec, Canada, October 6th, 2003. Alexandre Petrenko ... (ed.). - Berlin : Springer, 2004. - Online-Ressource - (Lecture notes in computer science; 2931)
ISBN 978-3-540-24617-6
Lizenzpflichtig
Quelle: DNB
Formal approaches to software testing
: 5th international workshop ; revised selected papers / FATES 2005, Edinburgh, UK, July 11, 2005 / Wolfgang Grieskamp ... (ed.). - Berlin : Springer, 2006. - Online-Ressource - (Lecture notes in computer science; 3997)
ISBN 978-3-540-34455-1
Lizenzpflichtig
Quelle: DNB
Formal approaches to software testing
: 5th international workshop ; revised selected papers / FATES 2005, Edinburgh, UK, July 11, 2005 / Wolfgang Grieskamp ; Carsten Weise (ed.). - Berlin : Springer, 2006. - XII, 217 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 3997)
ISBN 978-3-540-34454-4 / 3-540-34454-3 kart. : EUR 44.94 (freier Pr.), sfr 76.50 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
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 aspects of security
: first international conference ; revised papers / FASec 2002, London, UK, December 16 - 18, 2002. Ali E. Abdallah ... (ed.). - Berlin : Springer, 2003. - Online-Ressource - (Lecture notes in computer science; 2629)
ISBN 978-3-540-40981-6
Lizenzpflichtig
Quelle: DNB
