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

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

Sie sparen 19% des UVP sparen 19%

Taschenbuch
Versandfertig in 1-2 Wochen
130,00 €

Sprache:
Englisch

ISBN:
9783642069420

Verlag:
Springer Berlin Heidelberg

Einband:
Taschenbuch

Seitenzahl:
292

Veröffentlicht:
25 November 2010

Abmessungen:
155x16x235 mm.

Gewicht:
446 g.

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

Versandkostenfrei

Versandfertig in 1-2 Wochen.

Über Wojciech Penczek

Alle Bücher von Wojciech Penczek anzeigen

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 > Computer & IT
>
> >
> >
> >

Advances in Verification of Time Petri Nets and Timed Automata

Über Wojciech Penczek

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

Willkommen bei den Tales Buchfreunden und -freundinnen