Deductive Software Verification – The KeY Book

Name: Deductive Software Verification – The KeY Book: From Theory to Practice
Brand: Unknown Springer
SKU: 9783319498126
Price: 2825.00 INR
Availability: InStock

From Theory to Practice

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

Unknown Springer · 2015

₹2,825

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

Deductive Software Verification – The KeY Book: From Theory to Practice by Bernhard Beckert Wolfgang Ahrendt, Reiner Hähnle Richard Bubel & others is a 240-page book published by Unknown Springer in 2015.

Topics covered include Computer software.

Subjects

Computer software

Book details

ISBN-13: 9783319498126
ISBN-10: 3319498126
Authors: Bernhard Beckert Wolfgang Ahrendt, Reiner Hähnle Richard Bubel, Mattias Ulbrich Peter H. Schmitt
Publisher: Unknown Springer
Published: 2015
Pages: 240
Language: English
Condition: New
Subject: Sciences, Technology & Medicine