Del 8702
Software Engineering and Formal Methods
12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014, Proceedings
AvGwen Salaun,Dimitra Giannakopoulou
E-bok
PDF, Engelska, 2014734 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 the 12th International Conference on Software Engineering and Formal Methods, SEFM 2014, held in Grenoble, France, in September 2014.
The 23 full papers presented together with 3 invited and 6 tool papers were carefully reviewed and selected from 106 submissions. They are organized in topical section on program verification, testing, component-based systems, real-time and embedded systems, model checking and automata learning, program correctness, and adaptive and multi-agent systems.
The 23 full papers presented together with 3 invited and 6 tool papers were carefully reviewed and selected from 106 submissions. They are organized in topical section on program verification, testing, component-based systems, real-time and embedded systems, model checking and automata learning, program correctness, and adaptive and multi-agent systems.
Produktinformation
Utforska kategorier
Hoppa över listan
Du kanske också är intresserad av
- Nyhet
Del 8
- -17%
Del 2
- Nyhet
Del 17
- -19%
De säger att jag ska dö nu : ett halvt liv för tidigt
Madeleine Erichsen, Liselotte Holmgren
Häftad, 2026
263 kr
- Signerad!
- -30%
Del 1
- -23%
- 4 för 3
Del 11