Jim Woodcock
Eine Liste von Autoren mit Biografien, Lebensdaten und späteren Sammlungen aller Bücher.
Bücher des Autors
14
Domain Modeling and the Duration Calculus
St. Louis Blues hockey club, 1967-2002
Verified Software : Theories, Tools, Experiments
Theoretical Aspects of Computing -- ICTAC 2013
Software Engineering for Robotics
Software engineering mathematics
Formal methods and hybrid real-time systems
Theories of Programming and Formal Methods
Mathematics of program construction
Using Z
Refinement Techniques in Software Engineering
Formal Methods : Foundations and Applications
Unifying Theories of Programming and Formal Engineering Methods
