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

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

Sie sparen 18% des UVP sparen 18%

Gebundene Ausgabe
Versandfertig in 1-2 Wochen
132,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.

132,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