Here, what we could find on your book search:

Jim Woodcock

If you are not able to find that specific book from the book comparison result below, try to refine your search keyword. Like, search for Book title and author together. For best results type in the books ISBN (ISBN 10 or ISBN 13).

Dependable Software Systems Engineering

Dependable Software Systems Engineering

M. Irlbeck, D. Peled and A. Pretschner

Check Price (1 deals)
Unifying Theories of Programming

Unifying Theories of Programming

Steve Dunne

Check Price (2 deals)
FM 2005: Formal Methods

FM 2005: Formal Methods

John Fitzgerald and Ian J. Hayes

Check Price (2 deals)
Engineering Methods and Tools for Software Safety and Security

Engineering Methods and Tools for Software Safety and Security

M. Broy, Wassiou Sitou and Charles Antony Richard Hoare

Check Price (9 deals)
Theoretical Aspects of Computing - ICTAC 2006

Theoretical Aspects of Computing - ICTAC 2006

Kamel Barkaoui, Ana Cavalcanti and Antonio Cerone

Check Price (4 deals)
The Application of Formal Methods

The Application of Formal Methods

Simon Foster and Augusto Sampaio

Check Price (8 deals)

BOOKS THAT SPEAKS TO YOU

Try Amazon Audible today for FREE. Cancel anytime

First Audiobook Free