Compiler Specification and Verification (Lecture Notes in Computer Science, Band 124)

Verification

von W. Polak

Taschenbuch

EAN=ISBN-13: 978-3-540-10886-3

ISBN-10: 3-540-10886-6

Springer · 2008

Siehe auch (möglicherweise von anderen Autoren):
1981PaperbackCompiler Specification and Verification (Lecture notes in computer science)