Sitewide Free Shipping - Limited Time Only - No Minimum Spend - T&C's Apply
Track My Order
Help Centre
Likes
My Wish ListsLogin / Join
Booktopia
Australia's local bookstore
Get Free Shipping on orders over $0
Introducing Software Verification with Dafny Language : Proving Program Correctness - Boro Sitnikovski

Introducing Software Verification with Dafny Language

Proving Program Correctness

By: Boro Sitnikovski

eText | 28 February 2022

At a Glance

eText

$54.99

or 4 interest-free payments of $13.75 with

 or 

Instant online reading in your Booktopia eTextbook Library *

Why choose an eTextbook?

Instant Access *

Purchase and read your book immediately

Read Aloud

Listen and follow along as Bookshelf reads to you

Study Tools

Built-in study tools like highlights and more

* eTextbooks are not downloadable to your eReader or an app and can be accessed via web browsers only. You must be connected to the internet and have no technical issues with your device or browser that could prevent the eTextbook from operating.

Get introduced to software verification and proving correctness using the Microsoft Research-backed programming language, Dafny. While some other books on this topic are quite mathematically rigorous, this book will use as little mathematical symbols and rigor as possible, and explain every concept using plain English. It's the perfect primer for software programmers and developers with C# and other programming language skills.

Writing correct software can be hard, so you'll learn the concept of computation and software verification. Then, apply these concepts and techniques to confidently write bug-free code that is easy to understand. Source code will be available throughout the book and freely available via GitHub.

After reading and using this book you'll be able write correct, big free software source code applicable no matter which platform and programming language you use.

What You Will Learn

  • Discover the Microsoft Research-backed Dafny programming language

  • Explore Hoare logic, imperative and functional programs

  • Work with pre- and post-conditions

  • Use data types, pattern matching, and classes

  • Dive into verification examples for potential re-use for your own projects

Who This Book Is For

Software developers and programmers with at least prior, basic programming experience. No specific language needed. It is also for those with very basic mathematical experience (function, variables).

on
Desktop
Tablet
Mobile

You Can Find This eBook In

Non-FictionComputing & I.T.Computer ScienceComputer Programming & Software DevelopmentMicrosoft ProgrammingProgramming & Scripting Languages

More in Computer Science

Amazon.com : Get Big Fast - Robert Spector

eBOOK

Amazon.com

Get Big Fast

eBook

$22.99

The Compass - Bob Pearson

eBOOK

The Compass

eBook

RRP $20.89

$19.99

This product is categorised by