Noch Fragen? 0800 / 33 82 637

Software Engineering and Formal Methods

13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings

Produktform: Buch / Einband - flex.(Paperback)

The 17 full papers presented together with 2 invited and 6 short papers were carefully reviewed and selected from 96 submissions. The topics of interest included the following aspects of software engineering and formal methods: program verification, testing, certification, formal specification and proof, testing and model checking, planning, modelling, and model transformation.weiterlesen

Dieser Artikel gehört zu den folgenden Serien

Sprache(n): Englisch

ISBN: 978-3-319-22968-3 / 978-3319229683 / 9783319229683

Verlag: Springer International Publishing

Erscheinungsdatum: 21.08.2015

Seiten: 369

Auflage: 1

Zielgruppe: Research

Herausgegeben von Bernhard Rumpe, Radu Calinescu

53,49 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zurück