Software Engineering and Formal Methods: 15th International Conference, SEFM 2017, Trento, Italy, September 4–8, 2017, Proceedings: 10469 - Brossura

 
9783319661964: Software Engineering and Formal Methods: 15th International Conference, SEFM 2017, Trento, Italy, September 4–8, 2017, Proceedings: 10469
Brossura
ISBN 10: 3319661965 ISBN 13: 9783319661964
Casa editrice: Springer, 2017

Sinossi

?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.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Editore
Springer
Data di pubblicazione
2017
Lingua
Inglese
ISBN 10 
3319661965
ISBN 13 
9783319661964
Rilegatura
Copertina flessibile
Numero edizione
1
Numero di pagine
432
Redattore
Cimatti Alessandro, Sirjani Marjan
Contatto del produttore
non disponibile
Persona responsabile
Springer Nature Customer Service Center GmbH
ProductSafety@springernature.com

Europaplatz 3,69115 Heidelberg, Germany
Heidelberg
69115
Germania

Altre edizioni note dello stesso titolo

9783319661988: Software Engineering and Formal Methods: 15th International Conference, SEFM 2017, Trento, Italy, September 4-8, 2017, Proceedings

Edizione in evidenza

ISBN 10:  3319661981 ISBN 13:  9783319661988
Casa editrice: Springer, 2017
Brossura