Formal Methods and Software Engineering

Software

von Huibiao Zhu Jin Song Dong

Taschenbuch

ISBN: 978-3-642-16902-1

ISBN-10: 3-642-16902-3

Springer · 2011

S. auch (eventuell von anderen Autoren):
2008PaperbackFormal Methods and Software Engineering