作者 John Derrick 的书籍 - BookPine

Formal Methods for Distributed Processing: A Survey of Object-Oriented Approaches

Formal Methods for Distributed Processing: A Survey of Object-Oriented Approaches

John Derrick

Refinement in Z and Object-Z: Foundations and Advanced Applications

Refinement in Z and Object-Z: Foundations and Advanced Applications

John Derrick

Integrated Formal Methods: 4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004, Proceedings

Integrated Formal Methods: 4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004, Proceedings

Graeme Smith

Boo To Billable Hours: A Lawyer's Guide To Better Billing

Boo To Billable Hours: A Lawyer's Guide To Better Billing

John Derrick

Abstract State Machines, Alloy, B, VDM, And Z: Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012

Abstract State Machines, Alloy, B, VDM, And Z: Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012

John Derrick

Hana Highway Mile by Mile: The Road to Hana and Beyond

Hana Highway Mile by Mile: The Road to Hana and Beyond

John Derrick

Interated Formal Methods:4th International Conference, Ifm 2004, Canterbury, UK April 2004: Proceedings

Interated Formal Methods:4th International Conference, Ifm 2004, Canterbury, UK April 2004: Proceedings

Graeme Smith

Formal Techniques for Networked and Distributed Systems - FORTE 2007: 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007, ...

Formal Techniques for Networked and Distributed Systems - FORTE 2007: 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007, ...

John Derrick

Hana Highway Mile by Mile: The Road to Hana & Beyond

Hana Highway Mile by Mile: The Road to Hana & Beyond

John Derrick

Kauai - Mile by Mile Guide: The Best of the Garden Isle

Kauai - Mile by Mile Guide: The Best of the Garden Isle

John Derrick

Maui - Mile by Mile

Maui - Mile by Mile

John Derrick

Privatizing the State

Privatizing the State

Béatrice Hibou

Formal Methods for Distributed Processing: A Survey of Object-Oriented Approaches

Formal Methods for Distributed Processing: A Survey of Object-Oriented Approaches

Howard Bowman

Refinement in Z and Object-Z: Foundations and Advanced Applications (Formal Approaches to Computing and Information Technology

Refinement in Z and Object-Z: Foundations and Advanced Applications (Formal Approaches to Computing and Information Technology

John Derrick

Formal Methods for Open Object-based Distributed Systems: Volume 2

Formal Methods for Open Object-based Distributed Systems: Volume 2

Howard Bowman

The Office Equipment Adviser

The Office Equipment Adviser

John Derrick

Maui - Mile by Mile

Maui - Mile by Mile

John Derrick

The Office Equipment Advisor: The Essential What to Buy and How to Buy Resource for Offices With...

The Office Equipment Advisor: The Essential What to Buy and How to Buy Resource for Offices With...

John Derrick