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

Systems and Software Verification: Model-Checking Techniques and Tools

Springer
SKU:
9783540415237
|
ISBN13:
9783540415237
$180.44 $149.98
(No reviews yet)
Condition:
New
Usually Ships in 24hrs
Current Stock:
Estimated Delivery by: | Fastest delivery by:
Adding to cart… The item has been added
Buy ebook
Description
  • | Author: B. Berard
  • | Publisher: Springer
  • | Publication Date: August 09, 2001
  • | Number of Pages: 190 pages
  • | Language: English
  • | Binding: Hardcover
  • | ISBN-10: 3540415238
  • | ISBN-13: 9783540415237
Additional Information
Author:
B. Berard
Publisher:
Springer
Publication Date:
August 09, 2001
Number of pages:
190 pages
Language:
English
Binding:
Hardcover
ISBN-10:
3540415238
ISBN-13:
9783540415237
Related Products