FM 2012: Formal Methods - 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings

Författare
Dimitra. Giannakopoulou
(Edited by Dimitra Giannakopoulou, Dominique Méry.)
Språk
Engelska
Förlag År Ort Om boken ISBN
Springer Berlin Heidelberg, Imprint: Springer 2012 Tyskland, Berlin, Heidelberg XVI, 488 sidor. 142 illus. digital. 978-3-642-32759-9