Program design calculi
Author(s)
Bibliographic Information
Program design calculi
(NATO ASI series, Series F . Computer and systems sciences ; no. 118)
Springer-Verlag, 1993
Available at / 16 libraries
-
No Libraries matched.
- Remove all filters.
Note
"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
