Modular Compiler Verification: A Refinement-Algebraic Approach Advocating Stepwise Abstraction (Lecture Notes in Computer Science) (Lecture Notes in Computer Science (1283), Band 1283)
von
Markus Muller-Olm
Taschenbuch
Details (
Deutschland
)
ISBN: 978-3-540-63406-5
ISBN-10: 3-540-63406-1
Springer
· 1997
