Formal Methods: Foundations and Applications

Lieferzeit: Lieferbar innerhalb 14 Tagen

53,49 

12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21,2009 Revised Selected Papers, Lecture Notes in Computer Science 5902 – Programming and Software Engineering

ISBN: 3642104517
ISBN 13: 9783642104510
Herausgeber: Marcel Vinícius Medeiros Oliveira/Jim Woodcock
Verlag: Springer Verlag GmbH
Umfang: x, 351 S.
Erscheinungsdatum: 09.11.2009
Auflage: 1/2009
Produktform: Kartoniert
Einband: Kartoniert
Artikelnummer: 4378841 Kategorie:

Beschreibung

Herstellerkennzeichnung:


Springer Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE

E-Mail: juergen.hartmann@springer.com

Das könnte Ihnen auch gefallen …