Software Engineering and Formal Methods

14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings

Software Engineering and Formal Methods voorzijde
Software Engineering and Formal Methods achterzijde
  • Software Engineering and Formal Methods voorkant
  • Software Engineering and Formal Methods achterkant

This book constitutes the proceedings of the 14th International Conference on Software Engineering and Formal Methods, SEFM 2016, held as part of STAF 2016, in Vienna, Austria, in July 2016. The 20 full and 5 short papers presented in this volume were carefully reviewed and selected from 88 submissions.

Specificaties
ISBN/EAN 9783319415901
Auteur Rocco De Nicola
Uitgever Van Ditmar Boekenimport B.V.
Taal Engels
Uitvoering Paperback / gebrocheerd
Pagina's 419
Lengte
Breedte

Wat vinden anderen?

Er zijn nog geen reviews van dit product.