Große Auswahl an günstigen Büchern
Alles immer versandkostenfrei!
Schnelle Lieferung per Post und DHL
Kundenservice
Login
  1. Startseite
  2. Bücher
  3. Wirtschaft & Schule
  4. Computer & IT
  5. Unfoldings

Unfoldings

- A Partial-Order Approach to Model Checking

von Javier Esparza, Keijo Heljanko

enthalten in Monographs in Theoretical Computer Science. An EATCS Series-Reihe

Unfoldings von Javier Esparza Sie sparen 18% des UVP sparen 18%
Über Unfoldings

In this book the authors introduce unfoldings, an approach to model checking which alleviates the state explosion problem by means of concurrency theory.

Mehr anzeigen
  • Sprache:
  • Englisch
  • ISBN:
  • 9783642096051
  • Einband:
  • Taschenbuch
  • Seitenzahl:
  • 172
  • Veröffentlicht:
  • 25 November 2010
  • Ausgabe:
  • 12008
  • Abmessungen:
  • 234x156x9 mm.
  • Gewicht:
  • 290 g.
  Versandkostenfrei
  Versandfertig in 1-2 Wochen.

Über Javier Esparza

Alle Bücher von Javier Esparza anzeigen

Beschreibung von Unfoldings

In this book the authors introduce unfoldings, an approach to model checking which alleviates the state explosion problem by means of concurrency theory.

Kund*innenbewertungen von Unfoldings



Andere kauften auch ...
Ähnliche Bücher finden
Das Buch Unfoldings ist in den folgenden Kategorien erhältlich:

Willkommen bei den Tales Buchfreunden und -freundinnen

Jetzt zum Newsletter anmelden und tolle Angebote und Anregungen für Ihre nächste Lektüre erhalten.