Software Engineering and Formal Methods
15th International Conference, SEFM 2017, Trento, Italy, September 4–8, 2017, Proceedings
AvMarjan Sirjani,Alessandro Cimatti
E-bok
Engelska, 2017708 kr
Läs direkt i Bokus Reader – eller ladda ned till din enhet
Beskrivning
This book constitutes the refereed proceedings of the 15th International Conference on Software Engineering and Formal Methods, SEFM 2017, held in Trento, Italy, in September 2017.
The 17 full papers and 6 short papers presented were carefully reviewed and selected from 102 submissions. The papers deal with a large range of topics in the following research areas: new frontiers in software architecture; software verification and testing; software development methods; application and technology transfer; security and safety; an
d design principles.Produktinformation
Utforska kategorier
Hoppa över listan
Du kanske också är intresserad av
Theory and Applications of Satisfiability Testing -- SAT 2012
Alessandro Cimatti, Roberto Sebastiani
Häftad, 2012
544 kr
Del 10522
Theory and Applications of Satisfiability Testing -- SAT 2012
Roberto Sebastiani, Alessandro Cimatti
E-bok
2012708 kr
Del 14290