This site may earn a commission as part of the eBay Partner Network and Amazon Associates Program if you make a purchase through our links.
Leveraging Applications of Formal Methods, Verification and Validation - Tool...
From Verification to Explanation; Engineering of Twins for Cyber-Physical Systems; Software Verification Tools. Part I, Verification Principles.
65.97$ Buy It Now
| Item | 355808660103 |
|---|---|
| Seller |
greatbookprices1 ( 314203 ⭐ ) 96.5% Location: Jessup, US, Maryland Accept Payments With , |
| Shipping | See shipping cost, Ships to Worldwide, ... |
| Guarantee | eBay Money Back Guarantee |
| Condition | Like New |
| Book Title | Leveraging Applications of Formal Methods, Verification and Valid |
| ISBN | 9783030837228 |
| Subject Area | Computers |
| Publication Name | Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part IV |
| Publisher | Springer International Publishing A&G |
| Item Length | 9.3 in |
| Subject | Software Development & Engineering / General |
| Publication Year | 2021 |
| Series | Lecture Notes in Computer Science Ser. |
| Type | Textbook |
| Format | Trade Paperback |
| Language | English |
| Author | Bernhard Steffen |
| Item Weight | 15.3 Oz |
| Item Width | 6.1 in |
| Number of Pages | Xii, 265 Pages |
People who viewed this item also viewed
Explore more options
No more products to load
Your request is processing... Please Wait