Leveraging Applications of Formal Methods, Verification, and Validation - International Workshops, SARS 2011 and MLSC 2011, Held Under the Auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011. Revised Selected Papers

Författare
Reiner. Hähnle
(Edited by Reiner Hähnle, Jens Knoop, Tiziana Margaria, Dietmar Schreiner, Bernhard Steffen.)
Språk
Engelska
Förlag År Ort Om boken ISBN
Springer Berlin Heidelberg, Imprint: Springer 2012 Tyskland, Berlin, Heidelberg XII, 261 sidor. 94 illus. digital. 978-3-642-34781-8
Springer Berlin Heidelberg 2010 Tyskland, Berlin, Heidelberg 978-3-642-16558-0
Springer Berlin Heidelberg 2010 Tyskland, Berlin, Heidelberg 978-3-642-16561-0
Springer Berlin Heidelberg 2009 Utgivningsland okänt / Ej specificerat, Berlin, Heidelberg v.: digital 978-3-540-88479-8