Jim Woodcock

Software Engineering Mathematics (Sei Series in Software Engineering)

Jim Woodcock

$10.19 - $11.69

St. Louis Blues hockey club, 1967-2002: Note by note

Jim Woodcock

Out of Stock

Using Z: Specification, Refinement, and Proof (Prentice-Hall International Series in Computer Science)

Jim Woodcock

$6.39

Software Engineering Mathematics

Jim Woodcock

Out of Stock

Domain Modeling and the Duration Calculus: International Training School, Shanghai, China, September 17-21, 2007, Advanced Lectures (Lecture Notes in Computer Science)

Jim Woodcock

$41.79 - $59.78

Formal Methods and Hybrid Real-Time Systems

Jim Woodcock

$60.35