- 5 Ergebnisse
Kleinster Preis: € 27,61, größter Preis: € 123,04, Mittelwert: € 98,85
1
Unfoldings A Partial-Order Approach to Model Checking Javier Esparza Buch EATCS - Monographs in Theoretical Computer Science Gb Englisch 2008 - Esparza, Javier
Bestellen
bei booklooker.de
€ 115,90
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Esparza, Javier:

Unfoldings A Partial-Order Approach to Model Checking Javier Esparza Buch EATCS - Monographs in Theoretical Computer Science Gb Englisch 2008 - gebunden oder broschiert

2008, ISBN: 9783540774259

[ED: Gebunden], [PU: Springer Berlin], In this book the authors introduce unfoldings, an approach to model checking which alleviates the state explosion problem by means of concurrency th… Mehr…

Versandkosten:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) Buchbär
zuklappen (X)
2
Unfoldings - Esparza, Javier
Bestellen
bei Averdo.com
€ 116,49
Bestellen
Details und Versand
gesponserter Link

Esparza, Javier:

Unfoldings - gebunden oder broschiert

2008, ISBN: 9783540774259

Erscheinungsdatum: 27.03.2008, Medium: Buch, Einband: Gebunden, Titel: Unfoldings, Titelzusatz: A Partial-Order Approach to Model Checking, Autor: Esparza, Javier // Heljanko, Keijo, Verl… Mehr…

Nr. 70304062. Versandkosten:, Next Day, zzgl. Versandkosten.
zuklappen (X)
3
Unfoldings : A Partial-Order Approach to Model Checking by Javier, Heljanko, Keijo Esparza - Javier, Heljanko, Keijo Esparza
Bestellen
bei BetterWorldBooks.com
€ 27,61
Bestellen
Details und Versand
gesponserter Link
Javier, Heljanko, Keijo Esparza:
Unfoldings : A Partial-Order Approach to Model Checking by Javier, Heljanko, Keijo Esparza - gebrauchtes Buch

ISBN: 9783540774259

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… Mehr…

used in stock. Versandkosten:zzgl. Versandkosten.
zuklappen (X)
4
Unfoldings A Partial-Order Approach to Model Checking - Heljanko, Keijo; Esparza, Javier
Bestellen
bei Achtung-Buecher.de
€ 111,22
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Heljanko, Keijo; Esparza, Javier:
Unfoldings A Partial-Order Approach to Model Checking - gebunden oder broschiert

2008, ISBN: 3540774254

2008 Gebundene Ausgabe Petri-Netz, Verifikation - verifizieren, Theoretische Informatik, algorithms; Automat; algorithm; distributedsystems; logic; modelchecking; verification, mit Schu… Mehr…

Versandkosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien
zuklappen (X)
5
Unfoldings - Javier Esparza; Keijo Heljanko
Bestellen
bei lehmanns.de
€ 123,04
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Javier Esparza; Keijo Heljanko:
Unfoldings - gebunden oder broschiert

2008, ISBN: 9783540774259

A Partial-Order Approach to Model Checking, Buch, Hardcover, 2008, [PU: Springer Berlin], Springer Berlin, 2008

Versandkosten:sofort lieferbar. (EUR 0.00)
zuklappen (X)
1Da einige Plattformen keine Versandkonditionen übermitteln und diese vom Lieferland, dem Einkaufspreis, dem Gewicht und der Größe des Artikels, einer möglichen Mitgliedschaft der Plattform, einer direkten Lieferung durch die Plattform oder über einen Drittanbieter (Marketplace), etc. abhängig sein können, ist es möglich, dass die von eurobuch angegebenen Versandkosten nicht mit denen der anbietenden Plattform übereinstimmen.

Bibliographische Daten des bestpassenden Buches

Details zum Buch
Unfoldings
Autor:
Titel:
ISBN-Nummer:

9783540774259


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.

Detailangaben zum Buch - Unfoldings


EAN (ISBN-13): 9783540774259
ISBN (ISBN-10): 3540774254
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 2008
Herausgeber: Springer Berlin
172 Seiten
Gewicht: 0,443 kg
Sprache: eng/Englisch

Buch in der Datenbank seit 2007-12-06T06:34:40+01:00 (Berlin)
Detailseite zuletzt geändert am 2024-04-16T22:10:51+02:00 (Berlin)
ISBN/EAN: 9783540774259

ISBN - alternative Schreibweisen:
3-540-77425-4, 978-3-540-77425-9
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: javier
Titel des Buches: theoretical computer science, unfolding, model, monographs

Daten vom Verlag:

Autor/in: Javier Esparza; Keijo Heljanko
Titel: Monographs in Theoretical Computer Science. An EATCS Series; Unfoldings - A Partial-Order Approach to Model Checking
Verlag: Springer; Springer Berlin
172 Seiten
Erscheinungsjahr: 2008-03-27
Berlin; Heidelberg; DE
Sprache: Englisch
106,99 € (DE)
109,99 € (AT)
118,00 CHF (CH)
Available
XII, 172 p. 51 illus.

BB; Hardcover, Softcover / Informatik, EDV/Informatik; Software Engineering; Verstehen; Informatik; Algorithms; Automat; algorithm; distributed systems; logic; model checking; verification; Software Engineering; Computer Science Logic and Foundations of Programming; Theory of Computation; Theoretische Informatik; EA; BC

Transition Systems and Products.- Unfolding Products.- Search Procedures for the Executability Problem.- More on the Executability Problem.- Search Procedures for the Repeated Executability Problem.- Search Procedures for the Livelock Problem.- Model Checking LTL.- Summary, Applications, Extensions, and Tools.
Includes supplementary material: sn.pub/extras

Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:

Neuestes ähnliches Buch:
9783540774266 Unfoldings (Javier Esparza; Keijo Heljanko)

< zum Archiv...