Rigorous Software Development

Name: Rigorous Software Development: An Introduction to Program Verification
Brand: Springer
SKU: 9780857290175
Price: 3070.00 INR
Availability: InStock

An Introduction to Program Verification

by Maria João Frade, José Bacelar Almeida, Jorge Sousa Pinto, Simão Melo de Sousa

Springer · 2011

₹3,070

Free delivery. Nothing extra to pay at checkout.

Delivery in 3–7 days to any serviceable pincode in India, with tracking.
Cash on delivery. Pay when the parcel reaches you.
15-day returns. See what qualifies.

About this book

Published by Springer in 2011, Rigorous Software Development: An Introduction to Program Verification by Maria João Frade, José Bacelar Almeida & others runs to 307 pages. It belongs to the Undergraduate topics in computer science series.

Its main subjects are Development, Verification, Computer software and Symbolic and Algebraic Manipulation.

Subjects

Book details

ISBN-13: 9780857290175
ISBN-10: 0857290177
Authors: Maria João Frade, José Bacelar Almeida, Jorge Sousa Pinto, Simão Melo de Sousa
Publisher: Springer
Published: 2011
Series: Undergraduate topics in computer science
Edition: 2011 ed.
Pages: 307
Language: English
Condition: New
Subject: Computer software