Gå direkt till innehållet
Software Engineering and Formal Methods
Spara

Software Engineering and Formal Methods

This book constitutes the refereed proceedings of the 10th International Conference on Software Engineering and Formal Methods, SEFM 2012, held in Thessaloniki, Greece, in October 2012.
Undertitel
10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings
Upplaga
2012 ed.
ISBN
9783642338250
Språk
Engelska
Vikt
310 gram
Utgivningsdatum
2012-08-28
Sidor
384