Formal Modeling and Analysis of Timed Systems

Lieferzeit: Lieferbar innerhalb 14 Tagen

49,22 

11th International Conference, FORMATS 2013, Buenos Aires, Argentina, August 29-31,2013, Proceedings, Lecture Notes in Computer Science 8053 – Theoretical Computer Science and General Issues

ISBN: 3642402283
ISBN 13: 9783642402289
Herausgeber: Víctor Braberman/Laurent Fribourg
Verlag: Springer Verlag GmbH
Umfang: x, 275 S., 70 s/w Illustr., 275 p. 70 illus.
Erscheinungsdatum: 08.08.2013
Auflage: 1/2014
Format: 1.5 x 23.6 x 15.6
Gewicht: 447 g
Produktform: Kartoniert
Einband: Kartoniert
Artikelnummer: 5456100 Kategorie:

Beschreibung

Herstellerkennzeichnung:


Springer Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE

E-Mail: juergen.hartmann@springer.com

Das könnte Ihnen auch gefallen …