Cover of Concise Guide to Software Verification : From Model Checking to Annotation Checking by Huisman, Marieke, Wijs, Anton, ISBN 9783031301681
General

Concise Guide to Software Verification : From Model Checking to Annotation Checking

Contributor(s): Author , Author Format: Paperback

Paperback Β· ISBN 9783031301681

β‚Ή5,044 2%
β‚Ή5,159

Inclusive of GST and other taxes

100% Quality Assurance
No Account Creation Required
Fast Delivery
Secured Transactions

Arriving at your doorstep in 10-15 days

Our logisitcs team will make sure everyitem is delivered safely

Key Specifications

ISBN 9783031301681
Publisher Springer
Publication date July 2023
Language English
MRP Β£39.99 GBP
Page count 260
Item weight 82 g

Concise Guide to Software Verification : From Model Checking to Annotation Checking published by Springer.