Rigorous Software Development: An Introduction to Program Verification

All Formats & Editions

1 - 1 of 1 results found

Sort by:

Rigorous Software Development: An Introduction ...

By Jorge Sousa Pinto, José Bacelar Almeida, Maria João Frade, et al.

Edition Description

The use of mathematical methods in the development of software is essential when reliable systems are sought; in particular they are now strongly recommended by the official norms adopted in the production of critical software. Program Verification is the area of computer science...

Edition Details

Format:Paperback

Language:English

ISBN:0857290177

Format: Paperback

Condition:

44.10

50 Available

Quantity:

ThriftBooks sells millions of used books at the lowest everyday prices. We personally assess every book's quality and offer rare, out-of-print treasures. We deliver the joy of reading in recyclable packaging with free standard shipping on US orders over $15. ThriftBooks.com. Read more. Spend less.

Copyright © 2025 Thriftbooks.com Terms of Use | Privacy Policy | Do Not Sell/Share My Personal Information | Cookie Policy | Cookie Preferences | Accessibility Statement
ThriftBooks ^® and the ThriftBooks ^® logo are registered trademarks of Thrift Books Global, LLC

All Formats & Editions

Rigorous Software Development: An Introduction ...

Popular Categories

Website

My Account

Partnerships

Quick Help

About Us

Follow Us