Formal Engineering for Industrial Software Development: Using the SOFL Method

Development

von Shaoying Liu

Taschenbuch

ISBN: 978-3-642-05827-1

ISBN-10: 3-642-05827-2

Springer Berlin Heidelberg · 2010

Siehe auch:
2004Gebundene AusgabeFormal Engineering for Industrial Software Development: Using the SOFL Method