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 |