Compare Prices | Create Shopping Lists with Price Drop Alerts | Set Coupons, Promo Codes & Sales Alerts | Get Access to Exclusive Deals and Much More... All in One Place | Read all about it here

Introducing Software Verification with Dafny Language

Introducing Software Verification with Dafny Language

Brand
Springer Nature
Manufacturer
N/A
Part Number
0
GTIN
9781484279779
Condition
New
Product Description

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

Available Colors
Available Sizes
1 Offer Price Range: $24.99 - $24.99
BEST PRICE

Single Product Purchase

$24.99
@ Link.springer.com     BUY Now

Price Comparison

Seller Contact Seller List Price On Sale Shipping Best Promo Final Price Volume Discount Financing Availability Seller's Page
BEST PRICE
1 Product Purchase
@ Link.springer.com
Contact Store Call Store Contact Support
$24.99 $24.99

$24.99
See Site In stock Visit Store

Similar Products

Environmental Processes and Management

$179.99

Alternate Fractionation in Radiotherapy

$199.99

Klarheit und Wertschtzung in der Fhrung

$17.99

Aktive Filter und Oszillatoren

$99.99

Handbuch Mediation und Konfliktmanagement

$139.99

Mathematics for Natural Scientists II

$79.99

Einfhrung in die Physik

$59.99

Ausbreitung und Registrierung ultrasonorer Schallwellen in ozeanischen Seerumen

$59.99

European Solidarity Under Scrutiny

$109.00

Mustererkennung 1984

$59.99

Advances in Cryptology -- ASIACRYPT 2006

$54.99

Information Processing and Accounting Standards

$179.99

Morphodynamics in Aesthetics

$54.99

Caviar with Rum

$54.99

Performance-orientiertes Projektmanagement

$69.99

Rate Adaptive Cardiac Pacing

$169.99

Glibber, Glimmer, Laserschwerter: Chemie-Experimente zuhause

$24.99

The Psychology of Set / EksperimentalNye Osnovy Psikhologii Ustanovki /

$54.99

Der Zugkraftverlauf beim Zwischenauflager von Stahlbeton-Durchlauftrgen

$54.99

Suren - Basen - Schlacken

$79.99

Police Services

$109.99

Geothermal Fluids

$89.00

Engineering the Knee Meniscus

$19.99

Proceedings of the 21st International Symposium on Advancement of Construction Management and Real E

$219.99

Computational Complexity

$109.99

Sonnets and the English Woman Writer, 1560-1621

$54.99

First Leaves: A Tutorial Introduction to Maple V

$74.99

Pipelined Adaptive Digital Filters

$169.99

State Estimation in Electric Power Systems

$219.00

XUV Pump-Probe Experiments on Diatomic Molecules

$109.99

Klinische Physiologie

$59.99

The Little Book of Bigger Primes

$39.99

Zustandsbeurteilung von Ingenieurbauwerken

$79.99

Three Postwar Eras in Comparison

$109.99

Biological Aspects of Brain Tumors

$54.99

The Crippled Lamb

$4.46

Computer Simulation Studies in Condensed-Matter Physics VII

$109.99

Hyperion terra incognita

$64.99

Don Pigozzi on Abstract Algebraic Logic, Universal Algebra, and Computer Science

$79.99

Handling Societal Complexity

$84.99