Compiler Specification and Verification (Lecture notes in computer science)

Verification

by Polak

Paperback

ISBN: 978-0-387-10886-5

ISBN-10: 0-387-10886-6

Springer-Verlag · 1981

See also (possibly by other authors):
2008TaschenbuchCompiler Specification and Verification (Lecture Notes in Computer Science, Band 124)