Mathematical Foundations of Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985
(0)
Erste Bewertung abgeben
Inhalt Specification and top down design of distributed systems.- Specification languages for distributed systems.- Semantically b...