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 :-(

Interactive Theorem Proving in Software Engineering

Name: Interactive Theorem Proving in Software Engineering
Brand: VDM Verlag Dr. Mueller E.K.
SKU: 06982395
Price: 53.39 EUR
Availability: InStock
Author: Florian Kammüller
ISBN: 9783836457699

Florian Kammüller

Sprache

Englisch

Buch Broschur

Libristo-Code: 06982395

Verlag VDM Verlag Dr. Mueller E.K., Juli 2008

Interactive theorem proving is the modern way of formalizingmathematics using a computer as a proof... Vollständige Beschreibung

Libristo-Code: 06982395

131 b

53.39 € inkl. MwSt.

Externes Lager Wir versenden in 9-15 Tagen

30 Tage für die Rückgabe der Ware

Kunden kauften auch

Hase Hibiskus: Die Oster-Kleckserei Günther Jakobs

Leporello

9.99 €

Medicínske médium - Záchrana mozgu Anthony William

Hardcover

41.89 €

Siperiaan karkoitettuna Heikki Valisalmi

Adobe ePub DRM

9.69 €

Los hijos del capitan Grant Verne

MP3

9.89 €

Söz Müzik Ümit Sayin CD Bendeniz

Audio CD

19.39 €

Coffret L'anglais tout de suite ! (livre + 1CD) Michel Marcheteau

Broschur

21.89 €

Lineare Algebra Peter Knabner

Hardcover

74.99 €

Deporte adaptado y escuela inclusiva HIGINIO F. ARRIBAS CUBERO

Broschur

26.99 €

Frozen. Brillante como la nieve Editorial Planeta

Broschur

10.59 €

Guia de Perplejos O Descarriados Maimonides

Broschur

13.89 €

Herkes Yalniz Onur Caymaz

Broschur

11.59 €

Essay d'Une Parfaite Grammaire de la Langue Francoise Chiflet-L

Broschur

26.09 €

Interactive theorem proving is the modern way of formalizingmathematics using a computer as a proof assistant, helping solvesimple tasks and keeping an order on the proofs. Still, it is atedious task, as such mechanical proofs contain detail that humansdo not want to see. When it comes to the verification of real worldapplications in software engineering, as required for the assuranceof safety and security properties of embedded systems, the level ofdetail becomes even more annoying. In fact, it is a gargantuan taskto prove a program correct or prove that an implementation conformsto its UML-specification. The sheer mass of proof obligations alone- apart from the hidden subtlety of such challenges - obstructsquality assurance of software artifacts with interactive theoremprovers. This book draws a line to show up how far current cuttingedge research has succeeded in tackling this long standing quest.Using examples from algorithm development, Java bytecodeverification and UML state machine analysis the author introducescurrent trends in interactive theorem proving technology using Coq,Isabelle, and model checking.

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 Interactive Theorem Proving in Software Engineering

Autor Florian Kammüller

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 2008

Anzahl der Seiten 120

EAN 9783836457699

ISBN 3836457695

Libristo-Code 06982395

Verlag VDM Verlag Dr. Mueller E.K.

Gewicht 186

Abmessungen 229 x 154 x 10

Kategorie

Technologie, Ingenieurswissenschaft, Landwirtschaft, Industrieprozesse > Technologie, allgemein > Ingenieurswesen, Maschinenbau allgemein

EDV und Informationstechnologie > Informationstechnik (IT), allgemeine Themen

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