Software Engineering and Formal Methods
15th International Conference, SEFM 2017, Trento, Italy, September 4–8, 2017, Proceedings
AvAlessandro Cimatti,Marjan Sirjani
Häftad, Engelska, 2017
Del i serien Lecture Notes in Computer Science
561 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.
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; and 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
545 kr
Theory and Applications of Satisfiability Testing -- SAT 2012
Roberto Sebastiani, Alessandro Cimatti
E-bok
2012734 kr
Del 14290