Del i serien Lecture Notes in Computer Science
Integrated Formal Methods
6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings
Häftad, Engelska, 2007
1 479 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.
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.
Produktinformation
- Utgivningsdatum2007-06-22
- Mått155 x 235 x 36 mm
- Vikt1 001 g
- FormatHäftad
- SpråkEngelska
- SerieLecture Notes in Computer Science
- Antal sidor662
- FörlagSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG
- ISBN9783540732099
Tillhör följande kategorier
Hoppa över listan
Du kanske också är intresserad av
Formal Methods and Software Engineering
Jim Davies, Wolfram Schulte, Mike Barnett
Häftad, 2004
1 479 kr
Del 6
Engineering Agile Big-Data Systems
Kevin Feeney, Jim Davies, James Welch, Kevin Feeney, Jim Davies, Sebastian Hellmann
Inbunden, 2018
1 779 kr
Formal Methods: Foundations and Applications
Jim Davies, Leila Silva, Adenilso Simao
Häftad, 2011
749 kr
Del 6