Deductive Software Verification

Name: Deductive Software Verification: The Key Book; from Theory to Practice: 10001
Brand: Springer-Nature New York Inc
SKU: 9783319498119
Price: 9279.00 INR
Availability: InStock

The Key Book; from Theory to Practice: 10001

by Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Peter H. Schmitt

Springer-Nature New York Inc · 2016

₹9,279

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-Nature New York Inc in 2016, Deductive Software Verification: The Key Book; from Theory to Practice: 10001 by Wolfgang Ahrendt, Bernhard Beckert & others runs to 702 pages.

The book deals with Computer software.

Subjects

Computer software

Book details

ISBN-13: 9783319498119
ISBN-10: 3319498118
Authors: Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Peter H. Schmitt
Publisher: Springer-Nature New York Inc
Published: 2016
Edition: 1st ed. 2016
Pages: 702
Language: English
Condition: New
Subject: Computer software