Formal Methods for Model-Driven Engineering

Lieferzeit: Lieferbar innerhalb 14 Tagen

53,49 

12th International School on Formal Health for the Design of Computer, Communication and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23,2012.Advanced Lectures – Lecture Notes in Computer Science / Programming and Software Engineering 7320, Lecture Notes in Computer Science 7320 – Programming and Software Engineering

ISBN: 364230981X
ISBN 13: 9783642309816
Herausgeber: Marco Bernardo/Vittorio Cortellessa/Alfonso Pierantonio
Verlag: Springer Verlag GmbH
Umfang: vii, 439 S., 158 s/w Illustr., 439 p. 158 illus.
Erscheinungsdatum: 14.06.2012
Auflage: 1/2012
Produktform: Kartoniert
Einband: Kartoniert
Artikelnummer: 3540453 Kategorie:

Beschreibung

Herstellerkennzeichnung:


Springer Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE

E-Mail: juergen.hartmann@springer.com

Das könnte Ihnen auch gefallen …