Proceedings of the Fifth International Workshop on Software Specification and Design - Brossura

 
9780897913058: Proceedings of the Fifth International Workshop on Software Specification and Design

Sinossi

Proceedings of a workshop held in Pittsburgh, Pa. May, 1989. Papers cover: concurrency, coordination, and distribution; real-time, embedded and reactive systems; abstraction and structure; requirements elicitation, analysis and formalization; and formal techniques and operational specification. No subject index. Acidic paper. Annotation copyright Book News, Inc. Portland, Or.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.