Mendeley出力
Program design calculi / edited by Manfred Broy
(NATO ASI series ; Series F . Computer and systems sciences ; no. 118)
| データ種別 | 図書 |
|---|---|
| 著者標目 | Broy, M., 1949- NATO Advanced Study Institute on Program Design Calculi (1992 : Marktoberdorf, Germany) North Atlantic Treaty Organization. Scientific Affairs Division |
| 出版者 | Berlin ; New York : Springer-Verlag |
| 出版年 | 1993 |
書誌詳細を非表示
| 巻次 | ISBN:038756943X ISBN:354056943X |
|---|---|
| 大きさ | viii, 409 p. : ill. ; 24 cm |
| 本文言語 | 英語 |
| 一般注記 | "Proceedings of the NATO Advanced Study Institute on Program Design Calculi, held in Marktoberdorf, Germany, July 28-August 9, 1992"-- "Published in cooperation with NATO Scientific Affairs Division." Includes bibliographical references and index |
| 件 名 | LCSH:System design -- Congresses 全ての件名で検索 |
| 分 類 | LCC:QA76.9.S88 DC20:004.2/1 |
| 書誌ID | 1000000474 |
| ISBN | 038756943X |
| NCID | BA21318318 |