Compiler specification and verification / Wolfgang Polak. (Lecture notes in computer science)

Compiler specification and verification / Wolfgang Polak.

(Lecture notes in computer science)

Notes on use

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Material Type: 図書
ISBN: 3540108866
Title: Compiler specification and verification / Wolfgang Polak.
Series Title: Lecture notes in computer science
Author Heading: Polak, Wolfgang, 1950-
Publication, Distribution, etc.: Berlin : Springer-Verlag
New York : Springer-Verlag
Publication Date: 1981.
Publication Date (W3CDTF): 1981
Extent: xiii, 269 p. : ill. ; 25 cm.
Place of Publication (Country Code): DE
Text Language Code: eng
Subject Heading: プログラミング (電子計算機) Puroguramingu (densikeisanki)
Compiling (Electronic computers)
Computer programs -- Verification.
LCC: QA76.6
DDC: 001.64/25
NDLC: M159
Note (General): "A revised version of my Ph.D. thesis"-- Pref.
Note (Bibliography): Bibliography: p. [146]-155.
Holding library: 国立国会図書館
Call No.: M159-A7
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000003094472
http://id.ndl.go.jp/bib/000003094472
LC Control Number: 81018413
https://lccn.loc.gov/81018413
Bibliographic Record Category (NDL): 211