Sale Now on! Extra 5% off Sitewide
Model Checking Software: 27Th International Symposium, Spin 2021, Virtual Event, July 12, 2021, Proceedings (Lecture Notes In Computer Science, 12864)

Model Checking Software: 27Th International Symposium, Spin 2021, Virtual Event, July 12, 2021, Proceedings (Lecture Notes In Computer Science, 12864)

Springer
SKU:
9783030846282
|
ISBN13:
9783030846282
$82.16
(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: Alfons Laarman, Ana Sokolova
  • | Publisher: Springer
  • | Publication Date: 16-Sep-21
  • | Number of Pages: 205 pages
  • | Language: English
  • | Binding: Paperback
  • | ISBN-10: 3030846288
  • | ISBN-13: 9783030846282
Additional Information
Author:
Alfons Laarman, Ana Sokolova
Publisher:
Springer
Publication Date:
16-Sep-21
Number of pages:
205 pages
Language:
English
Binding:
Paperback
ISBN-10:
3030846288
ISBN-13:
9783030846282
Related Products