Concise Guide to Software Verification : From Model Checking to Annotation Checking
(Author) Marieke Huisman
Format:
Hardcover
69.99
Price: £69.99
(0% off)
Information
Publisher:
Springer International Publishing AG
Format:
Hardcover
Number of pages:
None
Language:
en
ISBN:
9783031301667
Publish year:
2023
Publish date:
July 25, 2023