Integrated Formal Methods: 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings (Lecture Notes in Computer Science, Band 7321)

Proceedings

von: John Derrick · Stefania Gnesi · Diego Latella · Helen Treharne

Taschenbuch

Details (Deutschland)

EAN=ISBN-13: 978-3-642-30728-7

ISBN-10: 3-642-30728-0

Springer · 2012