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

von Markus Müller-Olm Springer Berlin Heidelberg · 1997 Taschenbuch Details (Deutschland) Details (USA) Details (Großbritannien) Details (Kanada) Details (Frankreich) Details (Italien) Details (Spanien - España) ISBN: 978-3-540-63406-5 ISBN-10: 3-540-63406-1