Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

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

Free delivery for purchases over 19 990 Ft

DPD courier 1 190 Ft Post 1 795 Ft Post 1 690 Ft Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft DPD point 990 Ft GLS courier 1 690 Ft GLS point 1 190 Ft

Contact

How to shop

Help

My account

▸ Empty :-(

Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Deductive Software Verification - The KeY Book

Name: Deductive Software Verification - The KeY Book
Brand: Springer International Publishing AG
SKU: 15195022
Price: 47773 HUF
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

325 b

47 773 Ft

In stock at our supplier Shipping in 5-8 days

30-day return policy

Customers also purchased

Der Toyota Weg Jeffrey K. Liker

Hardback

12 676 Ft

À la gauche du Christ Denis Pelletier

Paperback

5 826 Ft

LEONARDO DA VINCI - GRANDES MAESTROS HOHENSTATT

Book

5 014 Ft

Le goût de la papaye ELISA MACELLARI

Hardback

9 810 Ft

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

Book

15 018 Ft

LULU GRENADINE SOIGNE BIEN SA Laurence Gillot

Paperback

2 955 Ft

Suposições: como você sabe o que sabe? Simone Marie Berthe Medina Wolfgang

Paperback

15 960 Ft

MEMOBREVET FICH REVI HIS GEO 3 Martine Lassus

Paperback

3 177 Ft

Tajemství závoje Soňa Bulbeck

Paperback

4 518 Ft

tempesta Celine Claire

Hardback

5 779 Ft

Wieso? Weshalb? Warum? Sonderband junior: Kennst du Formen, Farben, Gegensätze, Zahlen? Doris Rübel

Paperback

5 278 Ft

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

Audio CD

2 973 Ft

Infernal Wagon Alexandre Emerit

Game

6 591 Ft

EL COLOR DE LOS SENTIDOS ROLDAN

Book

7 662 Ft

Das vegane High-Protein-Kochbuch Daniela Ruppert

Paperback

6 633 Ft

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

Sheet

5 737 Ft

Dvorac duše Judith Bouilloc

Hardback

6 572 Ft

Brittisches Museum Sloane Hans Sloane

Paperback

9 397 Ft

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

Paperback

7 370 Ft

Rencontres Sous X D. Van Cauwelaert

Paperback

3 970 Ft

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

Paperback

29 388 Ft

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

Paperback

12 180 Ft

Le Commerce Et La Colonisation A Madagascar FOUCART-G

Paperback

10 779 Ft

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

Paperback

7 412 Ft

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.