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

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 9783540328698 | ISBN 3-540-32869-6 | ISBN 978-3-540-32869-8

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 - fest (Hardcover)
 
Hardcover
257 Seiten
2006
1
erschienen am
26.06.2006
Sprache
Englisch
Rubrik
Mathematik
ISBN-10
3-540-32869-6
ISBN-13
978-3-540-32869-8
Abmessungen
29,7 x 21 cm
Lieferstatus
verfügbar
Preis
160,49 €*
Buch kaufen

Lokal-Verfügbarkeit

 
ca. 15 km um Warren
**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

Buchcover Advances in Verification of Time Petri Nets and Timed Automata

Advances in Verification of Time Petri Nets and Timed Automata