Integrated Formal Methods
von
Graeme P. Smith,Jaco C. Van De Pol Judi M. T. Romijn
Taschenbuch
Details (
USA
)
ISBN: 978-3-540-81811-3
ISBN-10: 3-540-81811-1
Springer
· 2008
Siehe auch (möglicherweise von anderen Autoren):
Taschenbuch
Integrated Formal Methods