Formal Methods and Software Engineering: 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, Florida, USA, November ... Notes in Computer Science, 4789, Band 4789) - Softcover

 
9783540766483: Formal Methods and Software Engineering: 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, Florida, USA, November ... Notes in Computer Science, 4789, Band 4789)
Softcover
ISBN 10: 3540766480 ISBN 13: 9783540766483
Verlag: Springer, 2007

Inhaltsangabe

This book constitutes the refereed proceedings of the 9th International Conference on Formal Engineering Methods, ICFEM 2007, held in Boca Raton, Florida, USA, November 14-15, 2007. The 19 revised full papers together with two invited talks presented were carefully reviewed and selected from 38 submissions. The papers address all current issues in formal methods and their applications in software engineering. The papers are organized in topical sections.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Springer
Erscheinungsdatum
2007
Sprache
Englisch
ISBN 10 
3540766480
ISBN 13 
9783540766483
Einband
Taschenbuch
Anzahl der Seiten
400
Herausgeber
Butler Michael
Kontakt zum Hersteller
Springer Nature Customer Service Center GmbH
ProductSafety@springernature.com

Tiergartenstr. 17
Heidelberg
69121
Deutschland

Weitere beliebte Ausgaben desselben Titels

9783540845782: Formal Methods and Software Engineering: 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, Florida, USA, November 14-15, 2007, Proceedings

Vorgestellte Ausgabe

ISBN 10:  354084578X ISBN 13:  9783540845782
Verlag: Springer, 2009
Softcover