Darmowa dostawa dla zamówień powyżej 299,00 zł.

Sprawdzić stan zamówienia

Zostań członkiem wspólnoty miłośników książek z całego świata i zyskaj mnóstwo korzyści. Załóż konto bezpłatnie

Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł

DPD Kurier 12.99 zł Poczta Polska 18.99 zł Paczkomat 13.99 zł InPost 12.99 zł Punkt DPD 13.99 zł

Kontakt

Jak kupować

Pomoc

Moje konto

▸ Pusty :-(

Darmowa dostawa dla zamówień powyżej 299,00 zł.

Deductive Software Verification - The KeY Book

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

From Theory to Practice

Język

Angielski

Książka Miękka

Kod Libristo: 15195022

Wydawnictwo Springer International Publishing AG, grudzień 2016

Mechanized verification has a distinguished history, as well and this is not a place to trace it. It... Cały opis

Kod Libristo: 15195022

299 b

523.61 zł

Dostępna u dostawcy Wysyłamy za 5-8 dni

30 dni na zwrot towaru

Klienci kupili także

Der Toyota Weg Jeffrey K. Liker

Twarda

151.04 zł

Das vegane High-Protein-Kochbuch Daniela Ruppert

Miękka

71.85 zł

MEMOBREVET FICH REVI HIS GEO 3 Martine Lassus

Miękka

37.83 zł

Le goût de la papaye ELISA MACELLARI

Twarda

116.82 zł

À la gauche du Christ Denis Pelletier

Miękka

69.34 zł

GoGo Kluk z internetu Štrauch Daniel GoGo

Miękka

26.29 zł

Dvorac duše Judith Bouilloc

Twarda

78.28 zł

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

Karta

68.34 zł

LEONARDO DA VINCI - GRANDES MAESTROS HOHENSTATT

Książka

59.71 zł

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

CD Audio

37.33 zł

EL COLOR DE LOS SENTIDOS ROLDAN

Książka

91.22 zł

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

Książka

178.85 zł

Infernal Wagon Alexandre Emerit

Gra

72.15 zł

Tajemství závoje Soňa Bulbeck

Miękka

53.79 zł

tempesta Celine Claire

Twarda

65.33 zł

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

Miękka

81.99 zł

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

Miękka

65.83 zł

Rencontres Sous X D. Van Cauwelaert

Miękka

47.26 zł

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

Miękka

80.89 zł

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

Miękka

350.07 zł

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

Miękka

145.02 zł

Le Commerce Et La Colonisation A Madagascar FOUCART-G

Miękka

119.63 zł

Figur Ganesha Messing mini

Zabawka

34.82 zł

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

Miękka

42.55 zł

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.