Cart
Free US shipping over $10
Proud to be B-Corp

Formal Approaches to Computing and Information Technology (FACIT) Books

Specification Case Studies in RAISE By Hung Dang Van
Specification Case Studies in RAISEby Hung Dang Van
New
$144.19
Formal Object-Oriented Development By Kevin Lano
Formal Object-Oriented Developmentby Kevin Lano
New
$75.69
Formal Methods and Object Technology By Stephen J. Goldsack
Formal Methods and Object Technologyby Stephen J. Goldsack
Very Good
$10.00
Proof in VDM: Case Studies By Juan C. Bicarregui
Proof in VDM: Case Studiesby Juan C. Bicarregui
New
$112.99
Program Development by Refinement By Emil Sekerinski
Program Development by Refinementby Emil Sekerinski
New
$290.49
Systems, Models and Measures By Agnes Kaposi
Systems, Models and Measuresby Agnes Kaposi
New
$78.29
The B Language and Method By Kevin Lano
The B Language and Methodby Kevin Lano
New
$74.29