Cover of Dafny for Reliable Software: Practical Specification, Proof, and Program Design by Jackson, William M., ISBN 9798161487754
General

Dafny for Reliable Software: Practical Specification, Proof, and Program Design

Contributor(s): Author Format: Paperback

Paperback ยท ISBN 9798161487754

โ‚น3,800 2%
โ‚น3,897

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 9798161487754
Publisher Independently published
Publication date October 2026
Language English
MRP ยฃ30.21 GBP
Page count 232
Item weight 70 g

Dafny for Reliable Software: Practical Specification, Proof, and Program Design published by Independently published.