Logic of programming and calculi of discrete design : International Summer School directed by F.L. Bauer ... [et al.] /
| Corporate Authors: | , |
|---|---|
| Other Authors: | |
| Format: | Conference Proceeding Book |
| Language: | English |
| Published: |
Berlin ; New York :
Springer-Verlag,
[1987]
|
| Series: | NATO ASI series. Computer and systems sciences ;
no. 36. |
| Subjects: |
| Item Description: | "Published in cooperation with NATO Scientific Affairs Division." "Proceedings of the NATO Advanced Study Institute on Logic of Programming and Calculi of Discrete Design held in Marktoberdorf, Federal Republic of Germany, July 29 - August 10, 1986"--Verso title page. |
|---|---|
| Physical Description: | 413 pages : illustrations ; 25 cm. |
| Bibliography: | Includes bibliographies. |
| ISBN: | 0387180036 (U.S.) |