| Titel | ISBN-13 | Erschei-
nungsjahr | andere Autoren |
|---|
| Computer Performance Engineering: 7th European Performance Engineering Workshop, EPEW 2010, Bertinoro, Italy, September 23-24, 2010, Proceedings ... / Programming and Software Engineering) | 978-3-642-15783-7 | 2010 | Alessandro Aldini · Luciano Bononi · Vittorio Cortellessa |
| Formal Methods for Computational Systems Biology: 8th International School on Formal Methods for the Design of Computer, Communication, and Software ... / Programming and Software Engineering) | 978-3-540-68892-1 | 2008 | Pierpaolo Degano |
| Formal Methods for Eternal Networked Software Systems: 11th International School on Formal Methods for the Design of Computer, Communication and ... / Programming and Software Engineering) | 978-3-642-21454-7 | 2011 | Valerie Issarny |
| Formal Methods for Mobile Computing: 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, ... / Programming and Software Engineering) | 978-3-540-25697-7 | 2005 | Alessandro Bogliolo |
| Formal Methods for Performance Evaluation: 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, ... / Programming and Software Engineering) | 978-3-540-72482-7 | 2007 | Jane Hillston |
| Formal Methods for Quantitative Aspects of Programming Languages: 10th International School on Formal Methods for the Design of Computer, ... / Programming and Software Engineering) | 978-3-642-13677-1 | 2010 | Alessandro Aldini · Alessandra Di Pierro · Herbert Wiklicky |
| Formal Methods for Software Architectures: Third International School on Formal Methods for the Design of Computer, Communication and Software ... Lectures | 978-3-540-20083-3 | 2003 | Paola Inverardi |
| Formal Methods for the Design of Real-Time Systems: International School on Formal Methods for the Design of Computer, Communication, and Software ... Lectures | 978-3-540-23068-7 | 2004 |
| Formal Methods for Web Services: 9th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2009, ... / Programming and Software Engineering) | 978-3-642-01917-3 | 2009 | Luca Padovani · Gianluigi Zavattaro |