Working material for the lectures of ...: [5] Exploratory proposals for a calculus of software development
Saved in:
Bibliographic Details
Main Author: Sintzoff, Michel (Author)
Corporate Author: International Summer School on Logic of Programming and Calculi of Discrete Design (Author)
Format: Conference Proceedings Book
Language:English
Published: München Techn. Univ. München 1986
Physical Description:12, 9 S.
Order paper/chapter scan

Branch Library Mathematics & Informatics, Reports

Holdings details from Teilbibliothek Mathematik & Informatik, Berichte
Call Number: 0111 2001 B 6086-1986,5 Floor plan
Copy 1 Available for loan On Shelf