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

Systems and Software Verification

Name: Systems and Software Verification
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01652609
Price: 143.62 EUR
Availability: InStock
Author: B. Berard
ISBN: 9783642074783

Sprache

Englisch

Buch Broschur

Libristo-Code: 01652609

Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Dezember 2010

Model checking is a powerful approach for the formal verification of software. It automatically prov... Vollständige Beschreibung

Libristo-Code: 01652609

349 b

143.62 €

Externes Lager Wir versenden in 5-8 Tagen

Lieferung in Griechenland

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Proces Politique Et Republicain Du Citoyen Auguste Caunes Sans Auteur

Broschur

14.31 €

OXFORD Školní sešit A6 "644" linka 40 listů CZ/SK

Papier- und Schreibwaren

1.30 €

Maoři Václav Černý

Hardcover

16.33 €

GERMAN, E JUST SO SONGS SATB/PIANO CHANT GERMAN Buch

binding.

29.54 €

Иди и делай. 12 принципов жизни, полной побед и достижений

Hardcover

19.15 €

Un chien à ma table Hunzinger

Broschur

31.56 €

Radical Left Voters in Western Europe Raul Gomez

Broschur

64.24 €

The Fame Monster Lady Gaga Audio

Audio CD

9.98 €

Model checking is a powerful approach for the formal verification of software. It automatically provides complete proofs of correctness, or explains, via counter-examples, why a system is not correct. Here, the author provides a well written and basic introduction to the new technique. The first part describes in simple terms the theoretical basis of model checking: transition systems as a formal model of systems, temporal logic as a formal language for behavioral properties, and model-checking algorithms. The second part explains how to write rich and structured temporal logic specifications in practice, while the third part surveys some of the major model checkers available.

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 Systems and Software Verification

Autor B. Berard, M. Bidoit, A. Finkel, F. Laroussinie

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 2010

Anzahl der Seiten 190

EAN 9783642074783

ISBN 3642074782

Libristo-Code 01652609

Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Gewicht 328

Abmessungen 155 x 235 x 18

Kategorie

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

EDV und Informationstechnologie > Informatik > Mensch-Computer-Interaktion > Informationsarchitektur

EDV und Informationstechnologie > Computerhardware > Wartung und Reparaturen, IT

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Software Engineering

EDV und Informationstechnologie > Informatik > Theoretische Informatik

EDV und Informationstechnologie > Informatik > Systemanalyse und -design

EDV und Informationstechnologie > Informatik > Künstliche Intelligenz

EDV und Informationstechnologie > Betriebssysteme

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