My Account
Log in Registration
All
Cart
Highlights
Fiction Books
Non-Fiction Books
Children's Books
Rare Books
Music
DVD & Blu-Ray
Video Games
Category
Wishlists
Cart
All
Free Shipping in the UK
Trustpilot
Proud to be B-Corp

Formal Approaches to Computing and Information Technology (FACIT) Books

Formal Object-Oriented Development By Kevin Lano
Formal Object-Oriented Developmentby Kevin Lano
New
£51.99
Systems, Models and Measures By Agnes Kaposi
Systems, Models and Measuresby Agnes Kaposi
Good
£6.20
Program Development by Refinement By Emil Sekerinski
Program Development by Refinementby Emil Sekerinski
New
£202.29
The B Language and Method By Kevin Lano
The B Language and Methodby Kevin Lano
Very Good
£6.00
Formal Methods and Object Technology By Stephen J. Goldsack
Formal Methods and Object Technologyby Stephen J. Goldsack
Very Good
£6.90
Specification Case Studies in RAISE By Hung Dang Van
Specification Case Studies in RAISEby Hung Dang Van
New
£100.59
Proof in VDM: Case Studies By Juan C. Bicarregui
Proof in VDM: Case Studiesby Juan C. Bicarregui
New
£80.89