Advances in Verification of Time Petri Nets and Timed Automata

Lieferzeit: Lieferbar innerhalb 14 Tagen

160,49 €

A Temporal Logic Approach, Studies in Computational Intelligence 20

ISBN: 3642069428
ISBN 13: 9783642069420
Autor: Penczek, Wojciech/Pólrola, Agata
Verlag: Springer Verlag GmbH
Umfang: xxxii, 257 S.
Erscheinungsdatum: 25.11.2010
Auflage: 1/2006
Produktform: Kartoniert
Einband: Kartoniert
Artikelnummer: 1566739 Kategorie:

Beschreibung

Herstellerkennzeichnung:


Springer Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE

E-Mail: juergen.hartmann@springer.com

Das könnte Ihnen auch gefallen …