Theory and Application of Büchi Automata

(Sprache: Englisch)
 
 
Merken
Teilen
Merken
Teilen
 
 
Model checking is a method used for testing the reliabilityof a system. The automata-theoretic approach to model checkinginvolves expressing systems in terms of finite state automata, andusing algorithms that automatically determine the satisfiability...
Voraussichtlich lieferbar in 3 Tag(en)
versandkostenfrei

Bestellnummer: 15796104

BuchFr. 69.90
Jetzt vorbestellen
  • Kauf auf Rechnung
  • Kostenlose Rücksendung
Voraussichtlich lieferbar in 3 Tag(en)
versandkostenfrei

Bestellnummer: 15796104

BuchFr. 69.90
Jetzt vorbestellen
Model checking is a method used for testing the reliabilityof a system. The automata-theoretic approach to model checkinginvolves expressing systems in terms of finite state automata, andusing algorithms that automatically determine the satisfiability...

Kommentar zu "Theory and Application of Büchi Automata"

Andere Kunden kauften auch

Mehr Bücher von Aniket Mahanti

0 Gebrauchte Artikel zu „Theory and Application of Büchi Automata“

ZustandPreisPortoZahlungVerkäuferRating
  • Kauf auf Rechnung
  • Kostenlose Rücksendung