Noch Fragen? 0800 / 33 82 637

Artikel empfehlen

Advances in Verification of Time Petri Nets and Timed Automata

A Temporal Logic Approach

Produktform: Buch / Einband - flex.(Paperback)

Dieser Artikel gehört zu den folgenden Serien

Sprache(n): Englisch

ISBN: 978-3-642-06942-0 / 978-3642069420 / 9783642069420

Verlag: Springer Berlin

Erscheinungsdatum: 25.11.2010

Seiten: 257

Auflage: 1

Autor(en): Wojciech Penczek, Agata Pólrola

160,49 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zurück