Verification of reactive systems
Klaus Schneider
Springer-Verlag
9783540002963
3-540-00296-0
| BOOKSTORE | TOTAL | ||
|---|---|---|---|
| {{condition}} | {{price}} + {{shipping}} s/h | ||
| This book is currently reported out of stock for sale, but WorldCat can help you find it in your local library: | |||