Cambridge University Press · Springer
| Titel | ISBN-13 | Erschei- nungsjahr | andere Autoren | |
|---|---|---|---|---|
| Abstract State Machines, Alloy, B and Z: Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010, Proceedings | 978-3-642-11810-4 | 2010 | Chaouki T. Abdallah · Kamel Adi · Michael Altenhofen · Pascal André · Paolo Arcaini | |
| Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control (Lecture Notes in Computer Science) | 978-3-540-61929-1 | 1996 | ||
| Modeling in Event-B: System and Software Engineering | 978-0-521-89556-9 | 2010 | ||
| Rigorous Methods for Software Construction and Analysis | 978-3-642-11448-9 | 2010 | ||
| Rigorous Methods for Software Construction and Analysis: Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday | 978-3-642-11446-5 | 2010 | Uwe Glässer | |
J. A. · J R · J. R. Abrial · J. Raymond · Jean Raymond · R. A. · Raymond A.