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: E-Buch Text Elektronisches Buch in proprietärem

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

Elektronisches Format: PDF

Sprache(n): Englisch

ISBN: 978-3-319-51641-7 / 978-3319516417 / 9783319516417

Verlag: Springer International Publishing

Erscheinungsdatum: 20.12.2016

Seiten: 157

Herausgegeben von Anna-Lena Lamprecht

53,49 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zurück