Teaching Formal Methods
von
Jose Nuno Oliveira Jeremy Gibbons
Taschenbuch
Details (
USA
)
ISBN-13: 978-3-642-04913-2
ISBN-10: 3-642-04913-3
Springer
· 2009
