Tool Support for System Specification, Development and Verification (Advances in Computing Sciences)

Verification

von Rudolf Berghammer

Taschenbuch

ISBN-13: 978-3-211-83282-0

ISBN-10: 3-211-83282-3

Springer · 1999