cover image

Compiler specification and verification / Wolfgang Polak.


Berlin ; New York : Springer-Verlag, 1981.
ISBN 0387108866

Location Call Number Status Consortium Loan
American
WRLC Shared Collections Facility
QA76.6 .P648 Off-site
Request
George Mason
Fenwick stacks
QA76.6 .P648 1981 Available Request
Subjects Compiling (Electronic computers)
Computer programs -- Verification.
Description xiii, 269 pages : illustrations ; 25 cm.
Copyright Date 1981.
Notes Bibliography: pages [146]-155.
Network Numbers (OCoLC)07948637
(OCoLC)7948637
WorldCat Search OCLC WorldCat
WorldCat Identities Polak, Wolfgang, 1950-
Publication timeline, list of works, related names and subjects and other information

Services

Export citation to: RefWorks