We have over a million books in stock

Bookbot
The book is currently out of stock

Industrial strength formal methods in practice

Authors

Book variant

1999

Book purchase

The book is currently out of stock.