Customer Login
-
Help
Search Products
Categories
Show All Categories
Books
>
Computers & Inter...
Apple
Business & Culture
Certification Cen...
Computer Science
Databases
Digital Music
Digital Photograp...
Games & Strategy ...
Graphic Design
Hardware
Home Computing
Microsoft
Mobile & Wireless...
Networking
Operating Systems
Programming
Project Management
Security & Encryp...
Software
Web Development
Watch List
You have no items on your Watchlist
Filter Products:
Min Price:
Max Price:
Qty:
0
5
10
25
50
100
250
or more
Missing Images
Out-of-stock
Drop Ship
Products
Website Integration
How It Works
Services
Start Now
Products
»
Books
»
Computers & Internet
»
Programming
»
3540698493
Wondering what types of products to sell? Take our quiz to find out
25 Years of Model Checking: History, Achievements, Perspectives (Lecture Notes in Computer Science)
Wholesale Price
[members only]
MSRP
$39.95
S&H
[members only]
Click to enlarge
paperback:
231 pages
publisher:
springer; 1 edition (july 18, 2008)
language:
english
isbn-10:
3540698493
isbn-13:
978-3540698494
product dimensions:
9.4 x 6.1 x 0.6 inches
shipping weight:
13.4 ounces
Estimated ship time:
Arrives in 4 - 7 business days
Quantity in stock:
In Stock
Ship method:
UPS, USPS
Will ship to:
United States
Related Products
Product Name
Quantity
Manufacturer
Price
Introduction to Programming with Java: A Problem Solving Approach
In Stock
[members only]
Motion Graphics with Adobe Creative Suite 5 Studio Techniques [Paperback]
In Stock
[members only]
HTML, XHTML, and CSS: Your visual blueprint for designing effective Web pages (Visual Blueprint)
In Stock
[members only]
An Introduction to Programming With C++ [Paperback]
In Stock
[members only]
The SPIN Model Checker: Primer and Reference Manual (paperback) [Paperback]
In Stock
[members only]
Do You Want to Achieve Personal and Financial Freedom?
Includes Major Brands
See All
Integrated with: