My Account
Log in
Registration
Wishlists
Help
All
All
Books
Rare Books
DVD & Blu-Ray
Music
Video games
No elements found. Consider changing the search query.
List is empty.
Search
Search
Cart
Highlights
Fiction Books
Non-Fiction Books
Children's Books
Rare Books
Music
DVD & Blu-Ray
Video Games
Category
Wishlists
Cart
My Account
All
All
Books
Rare Books
DVD & Blu-Ray
Music
Video games
No elements found. Consider changing the search query.
List is empty.
Search
Search
Free US shipping over $10
Trustpilot
Proud to be B-Corp
Home
Formal Approaches to Computing and Information Technology (FACIT) Books
Formal Approaches to Computing and Information Technology (FACIT) Books
Specification Case Studies in RAISE
by Hung Dang Van
New
$144.19
Faster Shipping
Add to cart
Formal Object-Oriented Development
by Kevin Lano
New
$75.69
Faster Shipping
Add to cart
Formal Methods and Object Technology
by Stephen J. Goldsack
Very Good
$10.00
Faster Shipping
Add to cart
Proof in VDM: Case Studies
by Juan C. Bicarregui
New
$112.99
Faster Shipping
Add to cart
Program Development by Refinement
by Emil Sekerinski
New
$290.49
Faster Shipping
Add to cart
Systems, Models and Measures
by Agnes Kaposi
New
$78.29
Faster Shipping
Add to cart
The B Language and Method
by Kevin Lano
New
$74.29
Faster Shipping
Add to cart