Verwandte Artikel zu Distributed Systems: Methods and Tools for Specification....
Distributed Systems: Methods and Tools for Specification. An Advanced Course (Lecture Notes in Computer Science, 190, Band 190) - Softcover
Inhaltsangabe
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.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Suchergebnisse für Distributed Systems: Methods and Tools for Specification....
Beispielbild für diese ISBN
Distributed Systems : Methods and Tools for Specification - An Advanced Course
Verlag:
Springer Berlin / Heidelberg, 1985
ISBN 10: 3540152164
ISBN 13: 9783540152163
Gebraucht
Softcover
Anbieter: Better World Books, Mishawaka, IN, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: 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. Bestandsnummer des Verkäufers 1824285-6
Gebraucht kaufen
EUR 9,77
Versand gratis
Versand innerhalb von USA
Versand innerhalb von USA
Anzahl: 1 verfügbar
Foto des Verkäufers
Distributed Systems : Methods and Tools for Specification. An Advanced Course
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
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. Bestandsnummer des Verkäufers 9783540152163
Neu kaufen
EUR 61,97
EUR 35,00 Versand
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 1 verfügbar
Foto des Verkäufers
Distributed Systems
Anbieter: moluna, Greven, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Bestandsnummer des Verkäufers 4882535
Neu kaufen
EUR 48,37
EUR 48,99 Versand
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: Mehr als 20 verfügbar
Foto des Verkäufers
Distributed Systems
Verlag:
Springer, Springer Apr 1985, 1985
ISBN 10: 3540152164
ISBN 13: 9783540152163
Neu
Taschenbuch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. This item is printed on demand - Print on Demand Titel. Neuware -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.Springer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 584 pp. Englisch. Bestandsnummer des Verkäufers 9783540152163
Neu kaufen
EUR 53,49
EUR 60,00 Versand
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 1 verfügbar
Foto des Verkäufers
Distributed Systems | Methods and Tools for Specification. An Advanced Course
Print-on-DemandAnbieter: preigu, Osnabrück, Deutschland
Verkäuferbewertung 5 von 5 Sternen
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 Print on Demand. Bestandsnummer des Verkäufers 102151889
Neu kaufen
EUR 50,25
EUR 70,00 Versand
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 5 verfügbar
Foto des Verkäufers
Distributed Systems
Verlag:
Springer Berlin Heidelberg Apr 1985, 1985
ISBN 10: 3540152164
ISBN 13: 9783540152163
Neu
Taschenbuch
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 584 pp. Englisch. Bestandsnummer des Verkäufers 9783540152163
Neu kaufen
EUR 106,99
EUR 23,00 Versand
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 2 verfügbar
Beispielbild für diese ISBN
Distributed Systems: Methods and Tools for Specification. An Advanced Course (Lecture Notes in Computer Science, 190)
Anbieter: BennettBooksLtd, Los Angeles, CA, USA
Verkäuferbewertung 5 von 5 Sternen
paperback. Zustand: New. In shrink wrap. Looks like an interesting title! Bestandsnummer des Verkäufers Q-3540152164
Neu kaufen
EUR 138,88
EUR 6,14 Versand
Versand innerhalb von USA
Versand innerhalb von USA
Anzahl: 1 verfügbar