Software Engineering and Formal Methods: 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings (Lecture Notes in Computer Science)

Ein kompakter Sammelband der SEFM‑Konferenz 2015, der neue theoretische Konzepte und praktische Anwendungen in Software Engineering mit formalen Met ...

Allgemein

Marke
Springer-Verlag GmbH
MPN
Springer-Verlag GmbH 84 black & white illustrations, biograph
ISBN
Springer-Verlag GmbH 9783319229683

Eigenschaften

Menü