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 |