Formal Methods and Software Engineering
von
Richard Banach Kung-Kiu Lau
Taschenbuch
Details (
USA
)
ISBN-13: 978-3-540-81740-6
ISBN-10: 3-540-81740-9
Springer
· 2008
Siehe auch (möglicherweise von anderen Autoren):
2011
Paperback
Formal Methods and Software Engineering