Software Engineering and Formal Methods
Robert M. Hierons, Mercedes G. Merayo, Mario Bravetti
Häftad, 2013
561 kr
Software Engineering and Formal Methods
11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013, Proceedings
AvMario Bravetti,Mercedes G. Merayo
E-bok
PDF, Engelska, 2013708 kr
Läs direkt i Bokus Reader – eller ladda ned till din enhet (PDF kräver ofta zoom och scroll på små skärmar).
Beskrivning
This book constitutes the refereed proceedings of the11th International Conference on Software Engineering and Formal Methods, SEFM 2013, held in Madrid, Spain, in September 2013. The 21 full papers included in this volume were carefully reviewed and selected from 58 submissions. They are organized in topical section on real-time systems, verification, types and inference, static analysis, testing and runtime verification, and synthesis and transformation.
Produktinformation
Utforska kategorier
Hoppa över listan
Du kanske också är intresserad av
Testing of Communicating Systems : 16th IFIP International Conference, TestCom 2004, Oxford, UK, March 17-19, 2004., Proceedings
Roland Groz, Robert M. Hierons
644 kr
Testing of Software and Communication Systems
Mercedes G. Merayo, Paul Baker, Manuel Nunez
E-bok
2009708 kr
Del 11146
Testing Software and Systems
Inmaculada Medina-Bulo, Mercedes G. Merayo, Robert Hierons
Häftad, 2018
561 kr