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 point 990 Ft DPD courier 1 190 Ft GLS point 1 190 Ft Hungarian Post 1 795 Ft Hungarian Post 1 690 Ft Hungarian Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft GLS courier 1 690 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: 48976 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

48 976 Ft

In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Der Toyota Weg Jeffrey K. Liker

Hardback

12 967 Ft

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

Book

15 411 Ft

LULU GRENADINE SOIGNE BIEN SA Laurence Gillot

Paperback

2 924 Ft

LEONARDO DA VINCI - GRANDES MAESTROS HOHENSTATT

Book

5 159 Ft

À la gauche du Christ Denis Pelletier

Paperback

5 868 Ft

Le goût de la papaye ELISA MACELLARI

Hardback

9 938 Ft

Figur Ganesha Messing mini

Toy

2 972 Ft

Tajemství závoje Soňa Bulbeck

Paperback

4 631 Ft

tempesta Celine Claire

Hardback

5 834 Ft

malerbog til b?rn i alderen 8-12 ?r: Blomsterens verden Hantati Books

Paperback

4 070 Ft

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

Paperback

5 459 Ft

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

Audio CD

3 210 Ft

Infernal Wagon Alexandre Emerit

Game

6 757 Ft

EL COLOR DE LOS SENTIDOS ROLDAN

Book

7 869 Ft

Das vegane High-Protein-Kochbuch Daniela Ruppert

Paperback

6 800 Ft

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

Sheet

5 882 Ft

Dvorac duše Judith Bouilloc

Hardback

6 723 Ft

GoGo Kluk z internetu Štrauch Daniel GoGo

Paperback

2 924 Ft

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

Paperback

3 633 Ft

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

Paperback

5 250 Ft

Rencontres Sous X D. Van Cauwelaert

Paperback

3 966 Ft

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

Paperback

7 541 Ft

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

Paperback

30 094 Ft

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

Paperback

12 501 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.