Computer programming and formal systems

Computer programming and formal systems

edited by P. Braffort and D. Hirschberg

Amsterdam : North-Holland Publishing, 1963

図書等

巻号情報

No. 所在 請求記号 資料ID 資料タイプ 状況(返却予定日) コレクション 備考 予約・取り寄せ人数

1

B140-s21-Co

10076303088

一般図書

2

B140-s28-Co

10076394635

一般図書

3

410.8-St9

10078323228

一般図書

詳細情報

刊年

1963

形態

vi, 161 p. : ill. ; 22 cm

シリーズ名

Studies in logic and the foundations of mathematics

注記

Some imprints covered by label: New York : Humanities Press

Includes bibliographies

出版国

オランダ

標題言語

英語 (eng)

本文言語

英語 (eng)

著者情報

Braffort, P. (Paul) [ Braffort, Paul ]

Hirschberg, D. (David) [ Hirschberg, David ]

分類

LCC:QA76

DC:519.92

件名

Programming (Electronic computers) -- Addresses, essays, lectures

NCID

BA2585818X

番号

LCCN : 63003816