Formal Methods for Executable Software Models

Lieferzeit: Lieferbar innerhalb 14 Tagen

53,49 

14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20,2014, Advanced Lectures, Lecture Notes in Computer Science 8483 – Programming and Software Engineering

ISBN: 3319073168
ISBN 13: 9783319073163
Herausgeber: Marco Bernardo/Ferruccio Damiani/Reiner Haehnle et al
Verlag: Springer Verlag GmbH
Umfang: viii, 343 S., 101 s/w Illustr., 343 p. 101 illus.
Erscheinungsdatum: 21.05.2014
Auflage: 1/2014
Produktform: Kartoniert
Einband: Kartoniert
Artikelnummer: 6612621 Kategorie:

Beschreibung

Herstellerkennzeichnung:


Springer Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE

E-Mail: juergen.hartmann@springer.com

Das könnte Ihnen auch gefallen …