このページのリンク

CASL user manual : introduction to using the Common Algebraic Specification Language / Michel Bidoit, Peter D. Mosses ; with chapters by Till Mossakowski, Donald Sannella, and Andrzej Tarlecki
(Lecture notes in computer science ; 2900)

データ種別 図書
出版者 Berlin ; Tokyo : Springer
出版年 c2004
本文言語 英語
大きさ xiii, 240 p. : ill. ; 24 cm + 1 CD-ROM

所蔵情報を非表示

泉:図書館閉架地下2階書庫
QA/76cb a3004009303b
354020766X

書誌詳細を非表示

一般注記 Includes bibliographical references and index
著者標目 *Bidoit, M. (Michel), 1957-
Mosses, Peter D.
件 名 LCSH:CASL (Computer program language)
分 類 LCC:QA76.73.C158
DC22:005.13/3
書誌ID 1000761404
ISBN 354020766X
NCID BA66129704 WCLINK

 類似資料