Logics of Programs : Workshop, Yorktown Heights, New York, May 1981 / edited by Dexter Kozen. (Lecture notes in computer science)

Logics of Programs : Workshop, Yorktown Heights, New York, May 1981 / edited by Dexter Kozen.

(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: 038711212X (pbk.)
Title: Logics of Programs : Workshop, Yorktown Heights, New York, May 1981 / edited by Dexter Kozen.
Series Title: Lecture notes in computer science
Author Heading: Logics of Programs Workshop (1981 : Yorktown Heights, N.Y.)
Kozen, Dexter, 1951-
Publication, Distribution, etc.: Berlin : Springer-Verlag
New York : Springer-Verlag
Publication Date: 1982.
Publication Date (W3CDTF): 1982
Extent: vi, 429 p. : ill. ; 24 cm.
Place of Publication (Country Code): DE
Text Language Code: eng
Subject Heading: Electronic digital computers -- Programming -- Congresses.
LCC: QA76.6
DDC: 519.7
NDLC: M15
M159
Note (General): Title on cover: Logics of programs, proceedings 1981.
Note (Bibliography): Includes bibliographies.
Holding library: 国立国会図書館
Call No.: M15-A1493
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000003095875
http://id.ndl.go.jp/bib/000003095875
LC Control Number: 82003219
https://lccn.loc.gov/82003219
Bibliographic Record Category (NDL): 211