Rigorous Methods for Software Construction and Analysis

Taschenbuch

Details (Deutschland)

ISBN: 978-3-642-11448-9

ISBN-10: 3-642-11448-2

(978-3-642)