Compiler specification and verification /

Compiler specification and verification /

Saved in:
Bibliographic Details
Author / Creator:Polak, Wolfgang, 1950-
Imprint:Berlin ; New York : Springer-Verlag, 1981.
Description:1 online resource (xiii, 269 pages) : illustrations.
Language:English
Series:Lecture notes in computer science ; 124
Lecture notes in computer science ; 124.
Subject:
Compilers (Computer programs)
Computer programs -- Verification.
Compilers (Computer programs)
Computer programs -- Verification.
Format: E-Resource Book
URL for this record:http://pi.lib.uchicago.edu/1001/cat/bib/11074318
Hidden Bibliographic Details
ISBN:9783540387954
3540387951
0387108866
9780387108865
3540108866
9783540108863
Notes:Includes bibliographical references (pages 146-155).
Restrictions unspecified
Electronic reproduction. [S.l.] : HathiTrust Digital Library, 2010.
Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002. http://purl.oclc.org/DLF/benchrepro0212
digitized 2010 HathiTrust Digital Library committed to preserve
Print version record.
Other form:Print version:

Similar Items