Mendeley出力
Logic and algebra of specification / edited by Friedrich L. Bauer, Wilfried Brauer, Helmut Schwichtenberg
(NATO ASI series ; ser. F . Computer and system sciences ; v. 94)
| データ種別 | 図書 |
|---|---|
| 著者標目 | Bauer, Friedrich Ludwig, 1924- Brauer, Wilfried, 1937- Schwichtenberg, Helmut, 1942- NATO Advanced Study Institute on Logic and Algebra of Specification (1992 : Marktoberdorf, Germany) |
| 出版者 | Berlin ; New York : Springer-Verlag |
| 出版年 | c1993 |
書誌詳細を非表示
| 巻次 | : us ; ISBN:0387558136 : gw ; ISBN:3540558136 |
|---|---|
| 大きさ | 442 p. ; 25 cm |
| 本文言語 | 英語 |
| 一般注記 | "Proceedings of the NATO Advanced Study Institute on Logic and Algebra of Specification, held in Marktoberdorf, Germany, July 23-August 4, 1991"--T.p. verso Includes bibliographical references |
| 件 名 | LCSH:Computer science -- Mathematics
全ての件名で検索
LCSH:Logic, Symbolic and mathematical |
| 分 類 | LCC:QA76.9.M35 DC20:004/.01/5113 |
| 書誌ID | 1000000826 |
| ISBN | 0387558136 |
| NCID | BA20581602 |