Teaching Formal Methods: Second International Conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings (Lecture Notes in Computer Science, Band 5846)
von:
Jeremy Gibbons
·
Jose Nuno Oliveira
Taschenbuch
Details (
Deutschland
)
ISBN-13: 978-3-642-04911-8
ISBN-10: 3-642-04911-7
Springer
· 2009
