Formal Methods in Standards: A Report From The Bcs Working Group

Methods

von Clive L.N. Ruggles

Taschenbuch

ISBN: 978-3-540-19577-1

ISBN-10: 3-540-19577-7

Springer · 2013

Siehe auch (möglicherweise von anderen Autoren):
1990PaperbackFormal Methods in Standards: A Report from the Bcs Working Group