検索条件入力
>
書誌詳細
>
Algebraic system specification and development : a survey and annotated bibliography
書誌情報:Algebraic system specification and development : a survey and annotated bibliography
書誌詳細
刊年 | 1991 |
形態 | viii, 98 p. ; 25 cm. |
シリーズ名 | Lecture notes in computer science ; 501
|
注記 | Includes bibliographical references (p. [59]-98). |
出版国 | ドイツ |
標題言語 | 英語 |
本文言語 | 英語 |
著者情報 | Bidoit, M. (Michel), 1957-
|
分類 | LCC:QA76.9.S88 DC20:004.2/1 |
ISBN | 3540540601(Berlin : acid-free paper) 0387540601(New York : acid-free paper)
|
件名 | LCSH:Systemdesign.
|
番号 | LCCN : 91013193 |
|