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

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

Inhaltsangabe

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.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.