Advances in Verification of Time Petri Nets and Timed Automata von Wojciech Penczek | A Temporal Logic Approach | ISBN 9783642069420

Advances in Verification of Time Petri Nets and Timed Automata

A Temporal Logic Approach

von Wojciech Penczek und Agata Pólrola
Mitwirkende
Autor / AutorinWojciech Penczek
Autor / AutorinAgata Pólrola
Buchcover Advances in Verification of Time Petri Nets and Timed Automata | Wojciech Penczek | EAN 9783642069420 | ISBN 3-642-06942-8 | ISBN 978-3-642-06942-0

Advances in Verification of Time Petri Nets and Timed Automata

A Temporal Logic Approach

von Wojciech Penczek und Agata Pólrola
Mitwirkende
Autor / AutorinWojciech Penczek
Autor / AutorinAgata Pólrola
Presents a comprehensive introduction to timed automata and time Petri nets Presents existing methods of translating time Petri nets to timed automata

ISBN-Daten

Einband - flex.(Paperback)
 
Softcover
257 Seiten
Auflage
Softcover reprint of hardcover 1st ed. 2006
erschienen am
25.11.2010
Sprache
Englisch
Rubrik
Mathematik
ISBN-10
3-642-06942-8
Abmessungen
23,5 x 15,5 cm
Lieferstatus
Druck nach Bestellung
Preis
160,49 €*
Buch kaufen

Lokal-Verfügbarkeit

 
ca. 15 km um Moreno Valley
**Mit der Eingabe/Ermittlung der Standortdaten willigen Sie der Datenverarbeitung gemäß unserer Datenschutzerklärung ein.
Lokalverfügbarkeit (Karte)

Ankaufspreise

Ankaufspreise ermitteln
Veranstaltung eintragen

Passend

Buchcover Advances in Verification of Time Petri Nets and Timed Automata

Advances in Verification of Time Petri Nets and Timed Automata