
AMAZON.COM

More Stores:
rbookshop.com Book Store
Baby Products
Camping Store
Camera Store
Electronics Store
Hardware & Tools
Jazz Music Store
Kitchen Gadgets
Lawn & Garden Store
Medical Books
Music Store
Software Store
Huge Book Store
Sports Books
Travel Books
Toy Store
Electronics Store
Discount Tools
Video Store
|
|
Systems and Software Verification : Model-Checking Techniques and Tools
|
You are here:
Home > Unusual Subjects Books > Artificial Intelligence > Item

|
Systems and Software Verification : Model-Checking Techniques and Tools
|

by B. Berard, et al
Sales Rank : 365,566
|
|
|
|
Hardcover: 196 pages
Publisher: Springer; 1 edition
August 9, 2001
ISBN:
3540415238
Product Dimensions: 0.8 x 6.2 x 9.2 inches
Shipping Weight: 15.2 ounces.
|
|
|
|