Specification and Design of Software Systems: Conference on Operating Systems. Visegrad, Hungary, January 23-27, 1982; Proceedings (Lecture Notes in Computer Science (152))
معرفی کتاب «Specification and Design of Software Systems: Conference on Operating Systems. Visegrad, Hungary, January 23-27, 1982; Proceedings (Lecture Notes in Computer Science (152))» نوشتهٔ L. L. Máté, M. Bohus, Gy. Csopaki, A. Filp (auth.), Elöd Knuth, Erich J. Neuhold (eds.)، منتشرشده توسط نشر Springer-Verlag Berlin Heidelberg در سال 1983. این کتاب در فرمت pdf، زبان انگلیسی ارائه شده است.
System cars and its description language....Pages 1-15 Software structuring: A pragmatic approach....Pages 16-27 Development methodologies for event and message based application systems....Pages 28-55 Software development in LDM....Pages 56-83 Distributed computer systems: Two views....Pages 84-98 Sziam: A data model design aid....Pages 99-113 Espreso — A system for process control software specification....Pages 114-131 Program design — A practical approach....Pages 132-145 On implementation problems of shared abstract data types....Pages 146-152
دانلود کتاب Specification and Design of Software Systems: Conference on Operating Systems. Visegrad, Hungary, January 23-27, 1982; Proceedings (Lecture Notes in Computer Science (152))