Software Engineering and Formal Methods

Lieferzeit: Lieferbar innerhalb 14 Tagen

53,49 

SEFM 2013 Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24,2013, Revised Selected Papers – Lecture Notes in Computer Science / Programming and Software Engineering 8368, Lecture Notes in Computer Science 8368 – Programming and Software Engineering

ISBN: 3319050311
ISBN 13: 9783319050317
Herausgeber: Steve Counsell/Manuel Núñez
Verlag: Springer Verlag GmbH
Umfang: xxv, 432 S., 150 s/w Illustr., 432 p. 150 illus.
Erscheinungsdatum: 01.04.2014
Auflage: 1/2014
Produktform: Kartoniert
Einband: Kartoniert
Artikelnummer: 6140321 Kategorie:

Beschreibung

Herstellerkennzeichnung:


Springer Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE

E-Mail: juergen.hartmann@springer.com

Das könnte Ihnen auch gefallen …