Integrated Formal Methods

Methods

von Graeme P. Smith,Jaco C. Van De Pol Judi M. T. Romijn

Taschenbuch

ISBN: 978-3-540-81811-3

ISBN-10: 3-540-81811-1

Springer · 2008

Siehe auch (möglicherweise von anderen Autoren):
 TaschenbuchIntegrated Formal Methods