James C.P. Woodcock's Documents

James C.P. Woodcock's Documents

Always Die Before Your Mother: Poems

Always Die Before Your Mother: Poems
Read more
Mathematics of Program Construction

Mathematics of Program Construction
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
Corrosion Resistance of Stainless Steels

Corrosion Resistance of Stainless Steels
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
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
Elements de la Theorie des Matroides

Elements de la Theorie des Matroides
Read more
Rational herds: Economic models of social learning

Rational herds: Economic models of social learning
Read more
Fundamentals of Heat and Mass Transfer

Fundamentals of Heat and Mass Transfer
Read more
Using Z.Specification,refinement,and proof

Using Z.Specification,refinement,and proof
Read more
Poesía completa

Poesía completa
Read more
Lecture Notes on Ordinary Differential Equations

Lecture Notes on Ordinary Differential Equations
Read more
No title

No title
Read more
Indian Medicinal Plants: An Illustrated Dictionary

Indian Medicinal Plants: An Illustrated Dictionary
Read more
Environmental and Microbial Relationships

Environmental and Microbial Relationships
Read more
Strong & Electroweak Matter 2000

Strong & Electroweak Matter 2000
Read more
Using Z.Specification,refinement,and proof

Using Z.Specification,refinement,and proof
Read more
Patient-Specific Modeling of the Cardiovascular System: Technology-Driven Personalized Medicine

Patient-Specific Modeling of the Cardiovascular System: Technology-Driven Personalized Medicine
Read more
The Yeasts - A Taxonomic Study

The Yeasts - A Taxonomic Study
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
Stochastic differential games

Stochastic differential games
Read more
Short Stay Management of Chest Pain

Short Stay Management of Chest Pain
Read more
Olive Processing Waste Management

Olive Processing Waste Management
Read more
Fluid Mechanics and Machinery

Fluid Mechanics and Machinery
Read more