Formal Methods: Foundations and Applications

Lieferzeit: Lieferbar innerhalb 14 Tagen

49,22 

16th Brazilian Symposium, SBMF 2013, Brasilia, Brazil, September 29 – October 4,2013.Proceedings, Lecture Notes in Computer Science 8195 – Programming and Software Engineering

ISBN: 3642410707
ISBN 13: 9783642410703
Herausgeber: Juliano Iyoda/Leonardo de Moura
Verlag: Springer Verlag GmbH
Umfang: x, 243 S., 81 s/w Illustr., 243 p. 81 illus.
Erscheinungsdatum: 13.09.2013
Auflage: 1/2013
Produktform: Kartoniert
Einband: Kartoniert
Artikelnummer: 5588619 Kategorie:

Beschreibung

Herstellerkennzeichnung:


Springer Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE

E-Mail: juergen.hartmann@springer.com

Das könnte Ihnen auch gefallen …