Formal Methods for Dynamical Systems

Lieferzeit: Lieferbar innerhalb 14 Tagen

49,22 

13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22,2013.Advanced Lectures, Lecture Notes in Computer Science 7938 – Programming and Software Engineering

ISBN: 3642388736
ISBN 13: 9783642388736
Herausgeber: Marco Bernardo/Erik de Vink/Alessandra Di Pierro et al
Verlag: Springer Verlag GmbH
Umfang: viii, 181 S., 49 s/w Illustr., 181 p. 49 illus.
Erscheinungsdatum: 07.06.2013
Auflage: 1/2013
Produktform: Kartoniert
Einband: Kartoniert
Artikelnummer: 4894006 Kategorie:

Beschreibung

Herstellerkennzeichnung:


Springer Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE

E-Mail: juergen.hartmann@springer.com

Das könnte Ihnen auch gefallen …