Language: English
Published by Springer Berlin / Heidelberg, 1985
ISBN 10: 3540152164 ISBN 13: 9783540152163
Seller: Better World Books, Mishawaka, IN, U.S.A.
Condition: Good. Former library copy. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.
Seller: Phatpocket Limited, Waltham Abbey, HERTS, United Kingdom
Condition: Acceptable. Used - Acceptable. Your purchase helps support Sri Lankan Children's Charity 'The Rainbow Centre'. Ex-library with wear and barcode page may have been removed. Our donations to The Rainbow Centre have helped provide an education and a safe haven to hundreds of children who live in appalling conditions.
Language: English
Published by Springer Berlin Heidelberg, 1985
ISBN 10: 3540152164 ISBN 13: 9783540152163
Seller: AHA-BUCH GmbH, Einbeck, Germany
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - Basic concepts.- Acquisition ż environment.- A graph model based approach to specifications.- Formal foundation for specification and verification.- Language constructs for distributed programs.- The argus language and system.- Paradigms for distributed programs.- Issues and tools for protocol specification.- Conclusion.
Seller: preigu, Osnabrück, Germany
Taschenbuch. Condition: Neu. Distributed Systems | Methods and Tools for Specification. An Advanced Course | M. W. Alford (u. a.) | Taschenbuch | viii | Englisch | 1985 | Springer | EAN 9783540152163 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Seller: BennettBooksLtd, Los Angeles, CA, U.S.A.
paperback. Condition: New. In shrink wrap. Looks like an interesting title!