We have over a million books in stock

Bookbot
The book is currently out of stock

Verification of infinite state systems using Presburger arithmetic

Authors

Parameters

ISBN
9783899635621
Publisher
Verl. Dr. Hut

Categories

Book variant

2007, paperback

Book purchase

The book is currently out of stock.