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

DPD-Kurier 4.49 € Hermes Kurierdienst 4.99 € DHL-Kurier 3.99 € Hermes-Stelle 4.49 € DPD-Stelle 2.99 € GLS-Kurierdienst 4.49 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Unfoldings

Name: Unfoldings
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01654485
Price: 107.29 EUR
Availability: InStock
Author: Javier Esparza
ISBN: 9783642096051

A Partial-Order Approach to Model Checking

Javier Esparza

Keijo Heljanko

Sprache

Englisch

Buch Broschur

Libristo-Code: 01654485

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

In this book the authors introduce unfoldings, an approach to model checking which alleviates the st... Vollständige Beschreibung

Libristo-Code: 01654485

263 b

107.29 € inkl. MwSt.

Externes Lager Wir versenden in 5-8 Tagen

30 Tage für die Rückgabe der Ware

Kunden kauften auch

Problema smysla zhizni i sowremennost'

Broschur

73.59 €

Robinson Crusoe Daniel Defoe

Broschur

9.59 €

Leipziger Lehrausflüge Kurt Krause

Hardcover

35.99 €

Unti JA Picture Book - Inteli Bruno Jacob

Hardcover

16.50 €

St Porphyry of Kausokalyvia, the Secret Is Being Thankful: An Anthology of St Porphyry's Speeches, with an Introduction and Comments by George Valsami George Valsamis

Broschur

13.59 €

Trina Klaus Groth

Broschur

21.90 €

Dementia Jonathan Schmitt

Broschur

12.99 €

Le sinfonie di Beethoven. Una visione artistica Lewis Lockwood

Broschur

40.99 €

Lambacher Schweizer Mathematik Einführungsphase. Ausgabe Hessen

Broschur

28.99 €

Sangre CLARA PEÑALVER

Broschur

11.19 €

Theatre Complet d'Alex. Dumas. Tome 13 Le Comte de Morcerf Alexandre Dumas

Broschur

22.99 €

Qualidade de vida e auto estima apos mamoplastia redutora Almendros Mello Arnaldo

Broschur

22.49 €

Die illustrierte Apokalypse Heinrichs von Hesler im Deutschen Orden Sabine Jagodzinski

Broschur

35.29 €

Zum Bedeutungsverlust formaler Standardisierung fur die Marktrelevanz von Audio-Standards zur Online-Distribution Werner Otto

Broschur

52.95 €

In this book the authors introduce unfoldings, an approach to model checking which alleviates the state explosion problem by means of concurrency theory. They offer an introduction to the basics of the method and detail an unfolding-based algorithm for model checking concurrent systems against properties specified as formulas of linear temporal logic (LTL). The book will be of value to researchers and graduate students engaged in automatic verification and concurrency theory.

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 Unfoldings

Autor Javier Esparza, Keijo Heljanko

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 2010

Anzahl der Seiten 172

EAN 9783642096051

ISBN 3642096050

Libristo-Code 01654485

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

Gewicht 290

Abmessungen 155 x 235 x 9

Kategorie

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Software Engineering > Softwaretests und Prüfsoftware

EDV und Informationstechnologie > Informatik > Theoretische Informatik

EDV und Informationstechnologie > Informatik > Rechnerarchitektur und Logik-Entwurf

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