Integrated Formal Methods: 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings (Lecture Notes in Computer Science / ... Notes in Computer Science, 4591, Band 4591) - Softcover

 
9783540732099: Integrated Formal Methods: 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings (Lecture Notes in Computer Science / ... Notes in Computer Science, 4591, Band 4591)
Softcover
ISBN 10: 3540732098 ISBN 13: 9783540732099
Verlag: Springer, 2007

Inhaltsangabe

This book constitutes the refereed proceedings of the 6th International Conference on Integrated Formal Methods, IFM 2007, held in Oxford, UK. It addresses all aspects of formal methods integration, including of a process of analysis or design application of formal methods to analysis or design, extension of one method based upon the inclusion of ideas or concepts from others, and semantic integration or practical application.

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

Verlag
Springer
Erscheinungsdatum
2007
Sprache
Englisch
ISBN 10 
3540732098
ISBN 13 
9783540732099
Einband
Taschenbuch
Anzahl der Seiten
672
Herausgeber
Davies Jim
Kontakt zum Hersteller
ProductSafety@springernature.com
ProductSafety@springernature.com

Poststr. 9
Darmstadt
64293
Deutschland