Premium & Rewards Members Earn Double Stamps Shop Now Ends 7/5Premium & Rewards Members Earn Double Stamps Shop Now Ends 7/5
Add Item to wish listAdd Item to wish list
Read sample

Rigorous Software Development: An Introduction to Program Verification

By José Bacelar Almeida, Maria João Frade, Jorge Sousa Pinto, Simão Melo de Sousa
eBook
$64.99
By José Bacelar Almeida, Maria João Frade, Jorge Sousa Pinto, Simão Melo de Sousa
Formats
See All Formats & Editions

Available on compatible , the free NOOK App, and in My Digital Library

NOOK App

Download NOOK app

NOOK Devices

NOOK eReaders

  • NOOK GlowLight 4 Plus
  • NOOK GlowLight 4e
  • NOOK GlowLight 4
  • NOOK GlowLight Plus 7.8"
  • NOOK GlowLight 3
  • NOOK GlowLight Plus 6"

NOOK Tablets

  • NOOK 8.7" Reading Tablet
  • NOOK 9" Lenovo Tablet
  • NOOK 10" HD Lenovo Tablet
  • NOOK Tablet 7" & 10.1"
  • NOOK by Samsung Galaxy Tab 7.0 [Tab A and Tab 4]
  • NOOK by Samsung [Tab 4 10.1, S2 & E]

Free NOOK Reading Apps

  • NOOK for iOS
  • NOOK for Android

BN.com website

Go to your Digital Library in My Account

Software errors can lead to catastrophic consequences, from financial losses to threats to human safety. As a result, rigorous methods for software development and validation have become increasingly critical. Program verification, a key area of formal methods, provides mathematical tools and techniques to ensure that software behaves as intended.

This book provides a comprehensive introduction to program verification, combining theoretical foundations with practical applications using real...

Categories

ComputersComputer ProgrammingComputers - General & MiscellaneousSoftware EngineeringGeneral Software EngineeringLogic DesignGeneral & Miscellaneous ComputingSoftware Development * Programming