Formal Methods and Software Engineering

Software

von Richard Banach Kung-Kiu Lau

Taschenbuch

ISBN-13: 978-3-540-81740-6

ISBN-10: 3-540-81740-9

Springer · 2008

Siehe auch (möglicherweise von anderen Autoren):
2011PaperbackFormal Methods and Software Engineering