Modular Compiler Verification: A Refinement-Algebraic Approach Advocating Stepwise Abstraction (Lecture Notes in Computer Science) (Lecture Notes in Computer Science (1283), Band 1283)

Abstraction

von Markus Muller-Olm

Taschenbuch

ISBN: 978-3-540-63406-5

ISBN-10: 3-540-63406-1

Springer · 1997