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.
Reseña del editor
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.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.