Anbieter: NEPO UG, Rüsselsheim am Main, Deutschland
Taschenbuch. Zustand: Gut. 573 Seiten Sofort verfügbar Versand sofort nach durchgeführter Zahlungsverifikation Rechnung mit ausgewiesener MwSt. liegt bei daily shipping worldwide with invoice ex library in good condition aus Bibliothek in guten Zustand Sprache: Englisch Gewicht in Gramm: 550.
Sprache: Englisch
Verlag: Springer Berlin Heidelberg, 1985
ISBN 10: 3540152164 ISBN 13: 9783540152163
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Taschenbuch. Zustand: 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.
Anbieter: preigu, Osnabrück, Deutschland
Taschenbuch. Zustand: 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.