Formal Methods and Software Engineering
von
Huibiao Zhu Jin Song Dong
Taschenbuch
Details (
USA
)
ISBN: 978-3-642-16902-1
ISBN-10: 3-642-16902-3
Springer
· 2011
S. auch (eventuell von anderen Autoren):
2008
Paperback
Formal Methods and Software Engineering