A relational theory of computing / John G. Sanderson. (Lecture notes in computer science ; 82)

A relational theory of computing / John G. Sanderson.

(Lecture notes in computer science ; 82)

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: 0387099875 (U.S. : pbk.)
Title: A relational theory of computing / John G. Sanderson.
Series Title: Lecture notes in computer science ; 82
Author Heading: Sanderson, John G., 1929-
Publication, Distribution, etc.: Berlin : Springer-Verlag
New York : Springer-Verlag
Publication Date: 1980.
Publication Date (W3CDTF): 1980
Extent: vi, 147 p. ; 24 cm.
Place of Publication (Country Code): DE
Text Language Code: eng
Subject Heading: Computer programming.
Metamathematics.
Teoria Da Computacao.
Logica E Semantica De Programacao.
LCC: QA76.6
DDC: 001.64/2
NDLC: M159
Note (General): Includes index.
Note (Bibliography): Bibliography: p. 141-143.
Holding library: 国立国会図書館
Call No.: M159-121
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000006320645
http://id.ndl.go.jp/bib/000006320645
LC Control Number: 80014303
https://lccn.loc.gov/80014303
Bibliographic Record Category (NDL): 211