Author

Jim Woodcock

5 books in our library

All books by Jim Woodcock

5 books

Formal methods and hybrid real-time systems

by Jim Woodcock

Cover of Formal methods and hybrid real-time systems
Review
Buy this book More books like Formal methods and hybrid real-time systems

Theoretical Aspects of Computing -- ICTAC 2013

by Jim Woodcock

Cover of Theoretical Aspects of Computing -- ICTAC 2013
Review
Buy this book More books like Theoretical Aspects of Computing -- ICTAC 2013

Dependable Software Engineering. Theories, Tools, and Applications

by Jim Woodcock

Cover of Dependable Software Engineering. Theories, Tools, and Applications
Review
Buy this book More books like Dependable Software Engineering. Theories, Tools, and Applications

Theories of Programming and Formal Methods

by Jim Woodcock

Cover of Theories of Programming and Formal Methods
Review
Buy this book More books like Theories of Programming and Formal Methods

Unifying Theories of Programming and Formal Engineering Methods

by Jim Woodcock

Cover of Unifying Theories of Programming and Formal Engineering Methods
Review
Buy this book More books like Unifying Theories of Programming and Formal Engineering Methods

Looking for another book by Jim Woodcock? Search by title