Proceedings of the Fifth International Workshop on Software Specification and Design

Acm Press

ISBN 10: 0897913051 / ISBN 13: 9780897913058

Editore: Assn for Computing Machinery, Washington D. C., 1989

Riguardo questo articolo

295 pages; fading, minor staining, and minor creasing to spine. Light fading to the covers and to spine. Good condition otherwise. No other noteworthy defects. No markings. ; - Your satisfaction is our priority. We offer free returns and respond promptly to all inquiries. Your item will be carefully cushioned in bubble wrap and securely boxed. All orders ship on the same or next business day. Buy with confidence. Codice articolo HVD-52199-OS-0

Dati bibliografici

Titolo: Proceedings of the Fifth International ...

Casa editrice: Assn for Computing Machinery, Washington D. C.

Data di pubblicazione: 1989

Legatura: Paperback

Condizione: Good+

Edizione: Serial Issue.

Descrizione articolo

Riassunto:

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.