Jim Woodcock

J.W. · J. Woodcock · Jim C. P. Woodcock · Woodcock, Jim

Prentice Hall · Springer Berlin Heidelberg

Titel ISBN-13Erschei-
nungsjahr
andere Autoren
Domain Modeling and the Duration Calculus: International Training School, Shanghai, China, September 17-21, 2007, Advanced Lectures 978-3-540-74963-92007Chris George · Zhiming Liu
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-22007Cliff B. Jones · Zhiming Liu
Formal Methods and Software Engineering: 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003, Proceedings 978-3-540-20461-92003Jin 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-02009Marcel Vinícius Medeiros Oliveira
Theoretical Aspects of Computing: 7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010, Proceedings 978-3-642-14807-12010Ana Cavalcanti · David Deharbe · Marie-Claude Gaudel
Using Z: Specification, Refinement, and Proof
978-0-13-948472-81996J. C. P. Woodcock · 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-12008Bertrand Meyer
Verified Software: Theories, Tools, Experiments: Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008, Proceedings 978-3-540-87872-82008Natarajan Shankar

 

Jim Woodring