このページのリンク

利用統計

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

<図書>
An introduction to formal specification and Z

責任表示 Ben Potter, Jane Sinclair, David Till
シリーズ Prentice-Hall International series in computer science
データ種別 図書
出版者 Englewood Cliffs, N.J. : Prentice Hall
出版年 1991
本文言語 英語
大きさ xiii, 304 p. ; 24 cm
概要 @lt;P@gt;Following the sucess of the first edition, the authors have updated and revised this bestselling textbook to take into account the changes in the subject over the past 5 years.@lt;/P@gt;

所蔵情報


理系図 自動書庫 068252191012070 007.63/P 85 1991

書誌詳細

一般注記 Includes bibliographical references and index
著者標目 *Potter, Ben
Sinclair, Jane
Till, David
件 名 LCSH:Computer software -- Development  全ての件名で検索
LCSH:Z (Computer program language)
分 類 LCC:QA76.76.D47
DC20:005.13/3
書誌ID 1001064910
ISBN 0134787021
NCID BA13527607
巻冊次 ISBN:0134787021 ; PRICE:$32.50
登録日 2009.09.17
更新日 2009.09.17

類似資料