Verifix: Konstruktion und Architektur verifizierender...

it - Information Technology 2004 / 01 Vol. 46; Iss. 5

Verifix: Konstruktion und Architektur verifizierender Übersetzer (Verifix: Construction and Architecture of Verifying Compilers)

Glesner, Sabine, Goos, Gerhard, Zimmermann, Wolf
How much do you like this book?
What’s the quality of the file?
Download the book for quality assessment
What’s the quality of the downloaded files?
Volume:
46
Language:
german
Journal:
it - Information Technology
DOI:
10.1524/itit.46.5.265.44799
Date:
January, 2004
File:
PDF, 638 KB
german, 2004
Conversion to is in progress
Conversion to is failed