Logic of programming and calculi of discrete design International Summer School directed by F.L. Bauer ... [et al.] edited by Manfred Broy
Series: NATO ASI seriesPublication details: Berlin New York Springer-Verlag c1987Description: 413 p ill 25 cmISBN:- 0387180036 (U.S.)
- 005.13/1
Item type | Current library | Call number | Status | Date due | Barcode | |
---|---|---|---|---|---|---|
Carti | IMAR | II 31384 (Browse shelf(Opens below)) | Available | 0006106 |
"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 t.p
Cuprinde bibliografie
There are no comments on this title.