The Spin Model Checker: Primer and Reference Manual

Name: The Spin Model Checker: Primer and Reference Manual
Brand: My Store
SKU: ByrdShop_0321228626
Price: 119.92 USD
Availability: InStock

$119.92 USD

Sale Sold out

Shipping calculated at checkout.

Quantity

Secure Checkout

Quality Guaranteed

In Stock

Weight

About this book

The Spin Model Checker: Primer and Reference Manual