| Titel | | ISBN-13 | Erschei-
nungsjahr | andere Autoren |
|---|
| App Design: How to Conceive, Design and Market Apps | | 978-1-84543-406-9 | 2011 |
| Domain Modeling and the Duration Calculus: International Training School, Shanghai, China, September 17-21, 2007, Advanced Lectures | | 978-3-540-74963-9 | 2007 | Chris George · Zhiming Liu |
| Fme '96, Industrial Benefit of Formal Methods: Third International Symposium of Formal Methods Europe Co-Sponsored by Ifip Wg 14.3, Oxford, Uk, March ... | | 978-0-387-60973-7 | 1996 | england International Symposium of Formal Methods Europe 1996 Oxford · M. C. Gaudel |
| Formal Methods and Hybrid Real-Time Systems: Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays | | 978-3-540-75220-2 | 2007 | Cliff B. Jones · Zhiming Liu |
| Formal Methods and Software Engineering: 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003, ... Notes in Computer Science , Band 2885) | | 978-3-540-20461-9 | 2008 | Jin Song Dong |
| Formal Methods: Foundations and Applications: 12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 Revised ... / Programming and Software Engineering) | | 978-3-642-10451-0 | 2010 | Marcel Vinicius Medeiros Oliveira |
| Refinement Techniques in Software Engineering: First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December ... Notes in Computer Science , Band 3167) | | 978-3-540-46253-8 | 2010 | Ana Cavalcanti · Augusto Sampaio |
| Theoretical Aspects of Computing: 7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010, Proceedings | | 978-3-642-14807-1 | 2010 | Ana Cavalcanti · David Deharbe · Marie-Claude Gaudel |
| Theoretical Aspects of Computing -- ICTAC 2013: 10th International Colloquium, Shanghai, China, September 4-6, 2013, Proceedings | | 978-3-642-39717-2 | 2013 | Zhiming Liu · Huibiao Zhu |
| Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday | | 978-3-642-39697-7 | 2013 | Zhiming Liu · Huibiao Zhu |
| Unifying Theories of Programming and Formal Engineering Methods: International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, ... Notes in Computer Science, Band 8050) | | 978-3-642-39720-2 | 2013 | Zhiming Liu · Huibiao Zhu |
| Using Z: Specification, Refinement, and Proof | | 978-0-13-948472-8 | 1996 | Jim Davies |
| Verified Software: Theories, Tools, Experiments: First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised ... / Programming and Software Engineering) | | 978-3-540-69147-1 | 2008 | Bertrand Meyer |
| Verified Software: Theories, Tools, Experiments: Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008, Proceedings | | 978-3-540-87872-8 | 2008 | Natarajan Shankar |