The book is currently out of stock
Formal Verification of Concurrent Embedded Software
Authors
Book variant
2016, paperbackBook purchase
We’ll notify you via email once we track it down.
2016, paperbackWe have over a million books in stock.
2016, paperback