EAN: 9781484279779

INTRODUCING SOFTWARE VERIFICATION WITH DAFNY LA...

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 ForSoftware 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).

Aktuelle Preise zur EAN 9781484279779

Produktinformationen zur 9781484279779