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 €

DHL-Kurier 9.99 € Elta-Stelle 3.99 € Elta 4.49 € ACS 4.99 € ACS-Stelle 4.99 € Box Now 3.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: 123.5 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

299 b

123.50 €

Externes Lager Wir versenden in 5-8 Tagen

Lieferung in Griechenland

30 Tage für die Rückgabe der Ware

Kunden kauften auch

Der Toyota Weg Jeffrey K. Liker

Hardcover

35.60 €

À la gauche du Christ Denis Pelletier

Broschur

16.38 €

LEONARDO DA VINCI - GRANDES MAESTROS HOHENSTATT

Buch

14.05 €

Le goût de la papaye ELISA MACELLARI

Hardcover

27.61 €

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

Buch

42.17 €

LULU GRENADINE SOIGNE BIEN SA Laurence Gillot

Broschur

8.28 €

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

Broschur

40.96 €

MEMOBREVET FICH REVI HIS GEO 3 Martine Lassus

Broschur

8.89 €

Tajemství závoje Soňa Bulbeck

Broschur

12.63 €

tempesta Celine Claire

Hardcover

16.28 €

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

Broschur

13.54 €

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

Audio CD

8.79 €

Infernal Wagon Alexandre Emerit

Spiel

16.98 €

EL COLOR DE LOS SENTIDOS ROLDAN

Buch

21.54 €

Das vegane High-Protein-Kochbuch Daniela Ruppert

Broschur

16.98 €

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

Blatt

16.07 €

Dvorac duše Judith Bouilloc

Hardcover

16.58 €

Brittisches Museum Sloane Hans Sloane

Broschur

24.17 €

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

Broschur

19.11 €

Rencontres Sous X D. Van Cauwelaert

Broschur

11.12 €

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

Broschur

82.53 €

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

Broschur

34.18 €

Le Commerce Et La Colonisation A Madagascar FOUCART-G

Broschur

29.53 €

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

Broschur

20.22 €

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