Woodcock's Documents

Woodcock's Documents

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
Using Z.Specification,refinement,and proof

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

No title
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
The Customer Management Scorecard: Managing CRM for Profit

The Customer Management Scorecard: Managing CRM for Profit
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
Theoretical Aspects of Computing - ICTAC 2007, 4 conf

Theoretical Aspects of Computing - ICTAC 2007, 4 conf
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
Human Cognitive Abilities in Theory and Practice

Human Cognitive Abilities in Theory and Practice
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
IL-5 Receptor

IL-5 Receptor
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
Mathematics of Program Construction

Mathematics of Program Construction
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
What is Property?

What is Property?
Read more
Mathematics of Program Construction: Second International Conference, Oxford, U.K., June 29 - July 3, 1992. Proceedings (Lecture Notes in Computer Science)

Mathematics of Program Construction: Second International Conference, Oxford, U.K., June 29 - July 3, 1992. Proceedings (Lecture Notes in Computer Science)
Read more