Status der Bestellung anzeigen

Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen

Kostenloser Versand mit Zásilkovna ab 69.99 €

Österreichische Post 5.49 € GLS-Kurier 4.99 € GLS-Kurier 4.99 € DPD-Kurier 3.99 € DPD-Stelle 2.99 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Deductive Software Verification - The KeY Book

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

From Theory to Practice

Sprache

Englisch

Buch Broschur

Libristo-Code: 15195022

Verlag Springer International Publishing AG, Dezember 2016

Mechanized verification has a distinguished history, as well and this is not a place to trace it. It... Vollständige Beschreibung

Libristo-Code: 15195022

315 b

128.69 € inkl. MwSt.

Externes Lager Wir versenden in 5-8 Tagen

30 Tage für die Rückgabe der Ware

Kunden kauften auch

Der Toyota Weg Jeffrey K. Liker

Hardcover

37.09 €

Das vegane High-Protein-Kochbuch Daniela Ruppert

Broschur

20.00 €

MEMOBREVET FICH REVI HIS GEO 3 Martine Lassus

Broschur

9.19 €

Le goût de la papaye ELISA MACELLARI

Hardcover

28.39 €

À la gauche du Christ Denis Pelletier

Broschur

16.89 €

GoGo Kluk z internetu Štrauch Daniel GoGo

Broschur

7.59 €

Dvorac duše Judith Bouilloc

Hardcover

17.39 €

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

Blatt

16.79 €

LEONARDO DA VINCI - GRANDES MAESTROS HOHENSTATT

Buch

14.59 €

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

Audio CD

8.69 €

EL COLOR DE LOS SENTIDOS ROLDAN

Buch

22.19 €

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

Buch

43.59 €

Infernal Wagon Alexandre Emerit

Spiel

17.99 €

Tajemství závoje Soňa Bulbeck

Broschur

13.29 €

tempesta Celine Claire

Hardcover

16.89 €

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

Broschur

19.99 €

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

Broschur

16.09 €

Rencontres Sous X D. Van Cauwelaert

Broschur

11.49 €

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

Broschur

19.89 €

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

Broschur

85.49 €

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

Broschur

35.39 €

Le Commerce Et La Colonisation A Madagascar FOUCART-G

Broschur

29.19 €

Figur Ganesha Messing mini

Spielzeug

8.49 €

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

Broschur

10.49 €

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.

Schauspielerin & Polyglotte

EWA KASP für

Video abspielen

Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Deductive Software Verification - The KeY Book

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

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 2016

Anzahl der Seiten 702

EAN 9783319498119

ISBN 3319498118

Libristo-Code 15195022

Verlag Springer International Publishing AG

Gewicht 1095

Abmessungen 155 x 235 x 40

Kategorie

Technologie, Ingenieurswissenschaft, Landwirtschaft, Industrieprozesse > Elektronik, Nachrichtentechnik > Elektronik > Regelungstechnik > Robotik

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Compiler und Übersetzer

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Programmier- und Skriptsprachen, allgemein

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Software Engineering

EDV und Informationstechnologie > Informatik > Theoretische Informatik

EDV und Informationstechnologie > Informatik > Rechnerarchitektur und Logik-Entwurf

EDV und Informationstechnologie > Informatik > Künstliche Intelligenz

Verschenken Sie dieses Buch noch heute

Es ist ganz einfach

1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert