このページのリンク

引用にはこちらのURLをご利用ください

利用統計

  • このページへのアクセス:19回

  • 貸出数:1回
    (1年以内の貸出数:0回)

<図書>
Algebraic theory of processes

責任表示 Matthew Hennessy
シリーズ MIT Press series in the foundations of computing
データ種別 図書
出版情報 Cambridge, Mass. : MIT Press , c1988
本文言語 英語
大きさ vi, 272 p. : ill. ; 24 cm
概要 (paperback not available in U.S. and Canada)

所蔵情報



理系図3F 数理独自 HENN/20/1 1988
068222192002088


理系図 自動書庫 K/Hen 1988
068252188003976


理系図 自動書庫 K/Hen 1988
068252188007378

書誌詳細

一般注記 Includes bibliography and index
著者標目 *Hennessy, Matthew
件 名 LCSH:Electronic data processing -- Mathematics  全ての件名で検索
LCSH:Programming languages (Electronic computers) -- Semantics  全ての件名で検索
LCSH:Algebra, Abstract
分 類 LCC:QA76.9.M35
DC19:004/.01/51
書誌ID 1001105987
ISBN 0262081717
NCID BA03925341
巻冊次 ISBN:0262081717
登録日 2009.09.17
更新日 2009.09.17