Image from Amazon.com
Program Analysis and Compilation, Theory and Practice [electronic resource] : Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday / edited by Thomas Reps, Mooly Sagiv, Jorg Bauer.
Series: Lecture Notes in Computer Science ; 4444Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007.Description: x, 360 p. : ill., digital ; 24 cmISBN:- 9783540713227 (electronic bk.)
- Computer programs -- Verification -- Congresses
- Compilers (Computer programs) -- Congresses
- Computer programming -- Congresses
- Computer Science
- Programming Languages, Compilers, Interpreters
- Logics and Meanings of Programs
- Software Engineering
- Mathematical Logic and Formal Languages
- Programming Techniques
- 005.14 22
No physical items for this record
There are no comments on this title.
Log in to your account to post a comment.