你好! Shipping to Taiwan with premium packaging for just NT$300 

Ship to
Taiwan
0

My Account

  • argentina
  • chile
  • colombia
  • españa
  • méxico
  • perú
  • estados unidos
  • internacional

menu

Select your country

Americas

Europe

Rest of the world

portada Dafny for Reliable Software: Practical Specification, Proof, and Program Design
Type
Physical Book
Publisher
Author
Language
English
Pages
231
Format
Paperback
ISBN13
9798161487754

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

Jackson, William M. (Author) · Independently published · Paperback

Dafny for Reliable Software: Practical Specification, Proof, and Program Design - Jackson, William M.

New Book Imported to Taiwan
Delivery: 16 Nov - 24 Nov Shipping: 6 to 7 business days.
NT$ 1,466
NT$ 1,466

Choose the list to add your product or create one New List

Go to My Wishlists
Calculate shipping cost

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

**Dafny for Reliable Software: Practical Specification, Proof, and Program Design** introduces Dafny as a practical language and verification system for building dependable software. The book explains why formal methods matter, especially when testing alone cannot provide enough assurance, and shows how Dafny combines programming, specification, and automated proof in one coherent environment. Readers are guided through the foundations of the language, including modules, types, expressions, and the logical ideas behind verification, such as Hoare logic and SMT-based reasoning. From there, the book develops a disciplined approach to writing correct programs. It explains how to express intent with preconditions, postconditions, loop invariants, and quantified assertions; how to structure proofs so they remain modular and maintainable; and how to design algorithms and data structures with verification in mind. Special attention is given to object-oriented programming, including classes, dynamic allocation, class invariants, and ownership-style reasoning, with practical techniques for managing complexity in larger verified systems. The final sections connect Dafny to real-world software engineering. They explore how verification fits into development workflows, how to balance precision with readability and performance, and how Dafny can support trustworthy implementations in larger projects and research settings. Throughout, the book emphasizes practical specification and program design, helping readers not only prove correctness, but also write software that is clear, robust, and reliable by construction.

Customers reviews

More customer reviews
  • 0% (0)
  • 0% (0)
  • 0% (0)
  • 0% (0)
  • 0% (0)

Frequently Asked Questions about the Book

Is the book original?

All books in our catalog are Original.

In what language is the book written?

The book is written in English.

What is the format of this book?

The binding of this edition is Paperback.

Questions and Answers about the Book

Do you have a question about the book? Login to be able to add your own question.

Opinions about Bookdelivery

More customer reviews