The book is currently out of stock
Computing abstract models for verifying reactive systems
Authors
Book variant
2005, paperbackBook purchase
The book is currently out of stock.
2005, paperbackWe have over a million books in stock
2005, paperbackWe have over a million books in stock
2005, paperback