Refinement: Semantics, Languages and Applications

Refinement

von: John Derrick · Eerke Boiten

Gebunden

ISBN: 978-3-319-92709-1

ISBN-10: 3-319-92709-4

Springer · 2018

Siehe auch:
2019TaschenbuchRefinement: Semantics, Languages and Applications