Jim Woodcock
Jim Woodcock
Bookitis has not yet captured a biography for this author, but the catalog links below show the books currently associated with this profile.
Overview
Catalog identity and bibliographic footprint for this author.
Catalog identity
How this author appears inside the active Bookitis catalog.
Display name
Personal name
Source identifier
Featured books
Representative editions for works actually authored by this person.
- Image source: Open LibraryTA
Theoretical Aspects of Computing -- ICTAC 2013
cover - Image source: Open LibraryFM
Formal Methods Foundations and Applications Lecture Notes in Computer Science
cover - Image source: Open LibraryFM
Formal methods and hybrid real-time systems
cover - Image source: Open LibraryTA
Theoretical aspects of computing
cover - Image source: Open LibrarySL
St. Louis Blues hockey club, 1967-2002
cover - Image source: Open LibraryUZ
Using Z
cover - Image source: Open LibraryMO
Mathematics of program construction
cover - Image source: Open LibrarySE
Software engineering mathematics
cover - SESoftware Engineering for RoboticsJim Woodcock
Software Engineering for Robotics
no cover - DSDependable Software Engineering...Jim Woodcock
Dependable Software Engineering. Theories, Tools, and Applications
no cover - TOTheories of Programming and For...Jim Woodcock
Theories of Programming and Formal Methods
no cover - UTUnifying Theories of Programmin...Jim Woodcock
Unifying Theories of Programming and Formal Engineering Methods
no cover - FMFormal Methods : Foundations an...Jim Woodcock
Formal Methods : Foundations and Applications
no cover - DMDomain Modeling and the Duratio...Jim Woodcock
Domain Modeling and the Duration Calculus
no cover - RTRefinement Techniques in Softwa...Jim Woodcock
Refinement Techniques in Software Engineering
no cover
Works in catalog
Quick navigation into the work-level grouping pages behind the featured books.
- Open Work
Theoretical Aspects of Computing -- ICTAC 2013
- Open Work
Formal Methods Foundations and Applications Lecture Notes in Computer Science
- Open Work
Formal methods and hybrid real-time systems
- Open Work
Theoretical aspects of computing
- Open Work
St. Louis Blues hockey club, 1967-2002
- Open Work
Using Z
- Open Work
Mathematics of program construction
- Open Work
Software engineering mathematics
- Open Work
Software Engineering for Robotics
- Open Work
Dependable Software Engineering. Theories, Tools, and Applications
- Open Work
Theories of Programming and Formal Methods
- Open Work
Unifying Theories of Programming and Formal Engineering Methods
- Open Work
Formal Methods : Foundations and Applications
- Open Work
Domain Modeling and the Duration Calculus
- Open Work
Refinement Techniques in Software Engineering