Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

DPD courier 4.99 € GLS courier 11.49 €

Contact

How to shop

Help

My account

▸ Empty :-(

Deductive Software Verification - The KeY Book

Name: Deductive Software Verification - The KeY Book
Brand: Springer International Publishing AG
SKU: 15195022
Price: 123.66 EUR
Availability: InStock
Author: Wolfgang Ahrendt
ISBN: 9783319498119

From Theory to Practice

Language

English

Book Paperback

Libristo code: 15195022

Publishers Springer International Publishing AG, December 2016

Mechanized verification has a distinguished history, as well and this is not a place to trace it. It... Full description

Libristo code: 15195022

299 b

123.66 €

In stock at our supplier Shipping in 5-8 days

30-day return policy

Customers also purchased

Der Toyota Weg Jeffrey K. Liker

Hardback

35.64 €

Das vegane High-Protein-Kochbuch Daniela Ruppert

Paperback

17.01 €

MEMOBREVET FICH REVI HIS GEO 3 Martine Lassus

Paperback

8.90 €

Le goût de la papaye ELISA MACELLARI

Hardback

27.64 €

À la gauche du Christ Denis Pelletier

Paperback

16.40 €

GoGo Kluk z internetu Štrauch Daniel GoGo

Paperback

6.98 €

Dvorac duše Judith Bouilloc

Hardback

16.60 €

Přízrační příbuzní

Sheet

16.09 €

LEONARDO DA VINCI - GRANDES MAESTROS HOHENSTATT

Book

14.07 €

Lectures Découverte N0 Adolescents:: Chiens et chats - CD audio Dominique Renaud

Audio CD

8.40 €

EL COLOR DE LOS SENTIDOS ROLDAN

Book

21.56 €

MENDIZABAL:GuÆa Elabo.Inform.ClÆn.Logo+e MENDIZáBAL DE LA CRUZ

Book

42.22 €

Infernal Wagon Alexandre Emerit

Game

17.01 €

Tajemství závoje Soňa Bulbeck

Paperback

12.65 €

tempesta Celine Claire

Hardback

16.30 €

Ecoles Et Emplois Publics En Algerie. Guide Du Candidat Aux Fonctions Publiques En Algerie BACRI-L

Paperback

19.33 €

L'Art Defensif Superieur A l'Offensif, Ou La Fortification Perpendiculaire. Tome 8 Montalembert-M-R

Paperback

15.59 €

Rencontres Sous X D. Van Cauwelaert

Paperback

11.13 €

Materialien und Kopiervorlagen zu Hans Peter Richter 'Damals war es Friedrich' Tanja Kraus

Paperback

19.13 €

Peter Weiss' Â«Viet Nam DiskursÂ»: Moeglichkeiten und Formen eines Engagements fuer die Dritte Welt Hyeong Shik Kim

Paperback

82.64 €

Diagnóstico avanzado de fallas automotrices. Tecnología automotriz: mantenimiento y reparación de vehículos Denton

Paperback

34.22 €

Le Commerce Et La Colonisation A Madagascar FOUCART-G

Paperback

28.25 €

Figur Ganesha Messing mini

Toy

8.19 €

Roseda Stonewood Schüsse in der Dunkelheit J. P. Cox

Paperback

10.02 €

Mechanized verification has a distinguished history, as well and this is not a place to trace it. It suffices to say that the KeY project, the subject of this book, is possibly the most ambitious endeavour in this area. It has started in 1998 and gradually evolved into, what the authors call, the KeY framework. This framework goes beyond mechanized verification by also providing a means of program specification, a test case generation, a teaching tool for a number of courses on Software Engineering, and a debugging tool. The current book is a substantial revision and extension of the previous edition that takes into account this evolution of the KeY system. It systematically explains several facets of the KeY framework, starting with the theoretical underpinning and ending with a presentation of nontrivial case studies.