Noch Fragen? 0800 / 33 82 637

Leveraging Applications of Formal Methods, Verification, and Validation

6th International Symposium, ISoLA 2014, Corfu, Greece, October 8-11, 2014, and 5th International Symposium, ISoLA 2012, Heraclion, Crete, Greece, October 15-18, 2012, Revised Selected Papers

Produktform: Buch / Einband - flex.(Paperback)

The 9 revised full papers presented were carefully reviewed and selected from 22 submissions. This volume combines the post-conference proceedings of the 2014 Doctoral Symposium and the 2014 Tutorial "Automata Learning in Practice" with the post-conference publication of selected contributions from the Tracks "Process-Oriented Geoinformation Systems and Applications" and "Processes and Data Integration in the Networked Healthcare" of ISoLA 2012. weiterlesen

Dieser Artikel gehört zu den folgenden Serien

Sprache(n): Englisch

ISBN: 978-3-319-51640-0 / 978-3319516400 / 9783319516400

Verlag: Springer International Publishing

Erscheinungsdatum: 22.12.2016

Seiten: 157

Auflage: 1

Herausgegeben von Anna-Lena Lamprecht

53,49 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zurück