Refinement: Semantics, Languages and Applications

Refinement

von John Derrick

Taschenbuch

ISBN-13: 978-3-030-06497-6

ISBN-10: 3-030-06497-2

Springer · Januar 2019

Siehe auch:
2018Gebundene AusgabeRefinement: Semantics, Languages and Applications