Name: Advances in Verification of Time Petri Nets and Timed Automata
Price: 141.00 EUR
Availability: InStock
Author: Wojciech Penczek
ISBN: 9783540328698

Advances in Verification of Time Petri Nets and Timed Automata von Wojciech Penczek

Sie sparen 12% des UVP sparen 12%

Gebundene Ausgabe
Versandfertig in 1-2 Wochen
141,00 €

Über Advances in Verification of Time Petri Nets and Timed Automata

This monograph presents a comprehensive introduction to timed automata (TA) and time Petri nets (TPNs) which belong to the most widely used models of real-time systems.

Sprache:
Englisch

ISBN:
9783540328698

Verlag:
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Einband:
Gebundene Ausgabe

Seitenzahl:
257

Veröffentlicht:
26. Juni 2006

Ausgabe:
2006

Abmessungen:
297x210x17 mm.

Gewicht:
1290 g.

141,00 € inkl. MwSt.
~~160,49 €~~ UVP

Versandkostenfrei

Versandfertig in 1-2 Wochen.

Über Wojciech Penczek

Alle Bücher von Wojciech Penczek anzeigen

Beschreibung von Advances in Verification of Time Petri Nets and Timed Automata

This monograph presents a comprehensive introduction to timed automata (TA) and time Petri nets (TPNs) which belong to the most widely used models of real-time systems.

Kund*innenbewertungen von Advances in Verification of Time Petri Nets and Timed Automata

Andere kauften auch ...

Ähnliche Bücher finden

Das Buch Advances in Verification of Time Petri Nets and Timed Automata ist in den folgenden Kategorien erhältlich:

Wirtschaft & Schule

Advances in Verification of Time Petri Nets and Timed Automata

Über Wojciech Penczek

Beschreibung von Advances in Verification of Time Petri Nets and Timed Automata

Kund*innenbewertungen von Advances in Verification of Time Petri Nets and Timed Automata

Willkommen bei den Tales Buchfreunden und -freundinnen