Concise Guide to Software Verification : From Model Checking to Annotation Checking
Marieke Huisman
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Hardback)
£69.99
£50.26
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Hardback)
Add to BasketConcise Guide to Software Verification : From Model Checking to Annotation Checking
Marieke Huisman
Download Now
Format: eBook (EPUB)