Normal view MARC view ISBD view

Program Analysis and Compilation, Theory and Practice Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday /

Program Analysis and Compilation, Theory and Practice Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday / [electronic resource] : edited by Thomas Reps, Mooly Sagiv, Jorg Bauer. - Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007. - x, 360 p. : ill., digital ; 24 cm. - Lecture Notes in Computer Science, 4444 0302-9743 ; .

ISBN: 9783540713227 (electronic bk.)

Subjects--Topical Terms:
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.

Dewey Class. No.: 005.14

Print
Save record
BIBTEX Dublin Core MARCXML MARC (non-Unicode/MARC-8) MARC (Unicode/UTF-8) MARC (Unicode/UTF-8, Standard) MODS (XML) RIS ISBD
More searches

Search for this title in:
Other Libraries (WorldCat) Other Databases (Google Scholar) Online Stores (Bookfinder.com) Open Library (openlibrary.org)

Program Analysis and Compilation, Theory and Practice Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday /

Contact Us

Copyright ©The National University of Malaysia Library