<図書>

Theory of program structures : schemes, semantics, verification / Sheila A. Greibach

(Lecture notes in computer science;36)

所蔵情報を非表示

1

本郷キャンパス

配架場所 巻 次 請求記号 登録番号 状 態 文庫区分 刷 年 コメント
理7・CS図 : gw 39:L:1.36 2006043414

RECON/保存書庫
3

駒場Ⅰキャンパス

配架場所 巻 次 請求記号 登録番号 状 態 文庫区分 刷 年 コメント
数理科学・保存 : gw FU:Greibach 8001116295

普通図書
数理科学・保存 : gw FU:Greibach 8001116303

普通図書
数理科学・保存基数 : gw BE:LNCS:36 8001463762


書誌詳細を非表示

出版者 Berlin ; New York : Springer-Verlag
出版年 1975
大きさ 389 p. in various pagings : ill. ; 25 cm
一般注記 Includes bibliography and index
著者標目 *Greibach, Sheila, 1939-
件 名 LCSH:Electronic digital computers -- Programming
LCSH:Recursive programming
LCSH:Computer programs
分 類 LCC:QA76.6
DC:001.6/42
本文言語 英語
書誌ID 2001038729
ISBN 3540074155
NCID BA03601645 WCLINK

検索結果一覧に戻る ページトップ