Jim Woodcock's Documents

Jim Woodcock's Documents

Using Z.Specification,refinement,and proof

Using Z.Specification,refinement,and proof
Read more
Using Z.Specification,refinement,and proof

Using Z.Specification,refinement,and proof
Read more
Using Z: Specification, Refinement, and Proof

Using Z: Specification, Refinement, and Proof
Read more
Verified Software: Theories, Tools, Experiments: 1 conf., VSTTE 2005

Verified Software: Theories, Tools, Experiments: 1 conf., VSTTE 2005
Read more
Always Die Before Your Mother: Poems

Always Die Before Your Mother: Poems
Read more
Always Die Before Your Mother: Poems

Always Die Before Your Mother: Poems
Read more
Using Z

Using Z
Read more
Peter Carey ~ 2nd Edition (Contemporary World Writers)

Peter Carey ~ 2nd Edition (Contemporary World Writers)
Read more
Lethal Impulses

Lethal Impulses
Read more
Anarchism: A history of libertarian ideas and movements

Anarchism: A history of libertarian ideas and movements
Read more
Geology And Environment In Britain And Ireland

Geology And Environment In Britain And Ireland
Read more
Formal Methods and Hybrid Real-Time Systems: Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays

Formal Methods and Hybrid Real-Time Systems: Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays
Read more
Domain Modeling and the Duration Calculus: International Training School, Shanghai, China, September 17-21, 2007, Advanced Lectures

Domain Modeling and the Duration Calculus: International Training School, Shanghai, China, September 17-21, 2007, Advanced Lectures
Read more
Formal Methods and Hybrid Real-Time Systems: Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays (Lecture Notes in Computer Science)

Formal Methods and Hybrid Real-Time Systems: Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays (Lecture Notes in Computer Science)
Read more
No title

No title
Read more
Refinement Techniques in Software Engineering: First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December

Refinement Techniques in Software Engineering: First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December
Read more
Formal Methods and Hybrid Real-Time Systems

Formal Methods and Hybrid Real-Time Systems
Read more
Formal Methods: foundations and Applications, 12 conf., SBMF2009

Formal Methods: foundations and Applications, 12 conf., SBMF2009
Read more
Theoretical Aspects of Computing: 7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010, Proceedings (Lecture Notes in ... Computer Science and General Issues)

Theoretical Aspects of Computing: 7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010, Proceedings (Lecture Notes in ... Computer Science and General Issues)
Read more
Building Web Applications with UML

Building Web Applications with UML
Read more
Heart of Shadows

Heart of Shadows
Read more
The Customer Management Scorecard: Managing CRM for Profit

The Customer Management Scorecard: Managing CRM for Profit
Read more
Chrysalis

Chrysalis
Read more
Team Metrics: Resources for Measuring and Improving Team Performance

Team Metrics: Resources for Measuring and Improving Team Performance
Read more
FME '96: Industrial Benefit and Advances in Formal Methods: Third International Symposium of Formal Methods Europe Co-Sponsored by IFIP WG 14.3,

FME '96: Industrial Benefit and Advances in Formal Methods: Third International Symposium of Formal Methods Europe Co-Sponsored by IFIP WG 14.3,
Read more
The Customer Management Scorecard: Managing CRM for Profit

The Customer Management Scorecard: Managing CRM for Profit
Read more
In sight of the suture: Palaeozoic geology of the Isle of Man in its Iapetus Ocean context

In sight of the suture: Palaeozoic geology of the Isle of Man in its Iapetus Ocean context
Read more
Deadly Daggers

Deadly Daggers
Read more
CULTURAL POPULISM CL

CULTURAL POPULISM CL
Read more
Beltempest

Beltempest
Read more