Jim Davies's Documents

Jim Davies's Documents

Specification and proof in real-time CSP

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

Using Z.Specification,refinement,and proof
Read more
F-105 Thunderchief Units of the Vietnam War (Combat Aircraft)

F-105 Thunderchief Units of the Vietnam War (Combat Aircraft)
Read more
F-105 Thunderchief Units of the Vietnam War

F-105 Thunderchief Units of the Vietnam War
Read more
Usaf F-4 Mig Killers 1972-73

Usaf F-4 Mig Killers 1972-73
Read more
Integrated Formal Methods, 6 conf., IFM 2007

Integrated Formal Methods, 6 conf., IFM 2007
Read more
USAF F-4 Phantom II MiG Killers 1965-68

USAF F-4 Phantom II MiG Killers 1965-68
Read more
Bishops, Wives and Children

Bishops, Wives and Children
Read more
European Union Internal Market 2 e

European Union Internal Market 2 e
Read more
The $100,000+ Career

The $100,000+ Career
Read more
Vietnam 1965-73

Vietnam 1965-73
Read more
F-4 Phantom II vs MiG-21

F-4 Phantom II vs MiG-21
Read more
F-4 Phantom II vs MiG-21

F-4 Phantom II vs MiG-21
Read more
Formal methods: foundations and applications : 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010 : revised selected papers

Formal methods: foundations and applications : 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010 : revised selected papers
Read more
Formal Methods and Software Engineering: 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004, Proceedings (Lecture Notes in Computer Science)

Formal Methods and Software Engineering: 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004, Proceedings (Lecture Notes in Computer Science)
Read more
Formal Methods: Foundations and Applications, 13th Brazilian Symposium on Formal Methods, SBMF 2010 Natal, Brazil, November 8-11, 2010

Formal Methods: Foundations and Applications, 13th Brazilian Symposium on Formal Methods, SBMF 2010 Natal, Brazil, November 8-11, 2010
Read more
Avoiding Claims : A Practical Guide to Limiting Liability in the Construction Industry

Avoiding Claims : A Practical Guide to Limiting Liability in the Construction Industry
Read more
Talent Management in Education

Talent Management in Education
Read more
Understanding IPv6: Your Essential Guide to IPv6 on Windows Networks (capfiles)

Understanding IPv6: Your Essential Guide to IPv6 on Windows Networks (capfiles)
Read more
Davies, Robertson - The Diary of Samuel Marchbanks

Davies, Robertson - The Diary of Samuel Marchbanks
Read more
Davies, Robertson - Deptford 01 - Fifth Business

Davies, Robertson - Deptford 01 - Fifth Business
Read more
Davies, Robertson - Cornish 01 - The Rebel Angels 4.0

Davies, Robertson - Cornish 01 - The Rebel Angels 4.0
Read more
Davies, Robertson - Deptford 02 - The Manticore 4.0

Davies, Robertson - Deptford 02 - The Manticore 4.0
Read more
De Zwarte Moerbeiboom

De Zwarte Moerbeiboom
Read more
USAF F-4 Phantom II MiG Killers 1965–68

USAF F-4 Phantom II MiG Killers 1965–68
Read more
Wrapped in Fur

Wrapped in Fur
Read more
Home for Christmas

Home for Christmas
Read more
De Zwarte Moerbeiboom

De Zwarte Moerbeiboom
Read more