Catalogo · 9780972354608
St. Louis Blues hockey club, 1967-2002
ISBN 9780972354608
Descrizione non disponibile per questo libro.
La tua libreria
Accedi per aggiungere questo libro alla tua libreria.
Lettori
Communitas attorno al libro
Letture affini
Theoretical Aspects of Computing -- ICTAC 2013
Zhiming Liu, Jim Woodcock, Huibiao Zhu
Software engineering mathematics
Jim Woodcock
Software Engineering for Robotics
Ana Cavalcanti, Brijesh Dongol, Rob Hierons, Jon Timmis, Jim Woodcock
Formal methods and hybrid real-time systems
D. Bjørner, Jones, C. B., Jim Woodcock
Verified Software : Theories, Tools, Experiments
Natarajan Shankar, Jim Woodcock
Using Z
Jim Woodcock, Jim Davies
Unifying Theories of Programming and Formal Engineering Methods
Zhiming Liu, Jim Woodcock, Huibiao Zhu
Theories of Programming and Formal Methods
Zhiming Liu, Jim Woodcock, Huibiao Zhu
Refinement Techniques in Software Engineering
Ana Cavalcanti, Augusto Sampaio, Jim Woodcock
Mathematics of program construction
Bird, Richard, Carroll Morgan, Jim Woodcock
Formal Methods : Foundations and Applications
Marcel Vinícius Medeiros Oliveira, Jim Woodcock
The Correspondence
J. D. Daniels
Verba volant · scripta manent