The Spin Model Checker : Primer and Reference Manual Gerard J. Ho
$125 · Offered by eBay · No longer available
- Binding: Hardcover
- Condition: Very Good
Found via Rare Books Intel, a search across rare-book dealers, auction houses and marketplaces worldwide.