9783540152163 - distributed systems: methods and tools for specification. an advanced course: 190 di mullery, g. p.; schneider, f. b.; alford, m. w.; paul, manfred; hommel, g. (7 risultati)

- Brossura
Da: Better World Books, Mishawaka, IN, U.S.A.Better World Books
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Buono
EUR 10,34
Spedizione gratuitaSpedito in U.S.A.Quantità: 1 disponibili
Condizione: 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.

Distributed Systems
M.W. Alford|J.P. Ansart|G. Hommel|L. Lamport|B. Liskov|G.P. Mullery|F.B. Schneider
- Brossura
Da: moluna, Greven, Germaniamoluna
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 48,37
EUR 48,99 spedizioneSpedito da Germania a U.S.A.Quantità: Più di 20 disponibili
Condizione: New.

- Brossura
Da: AHA-BUCH GmbH, Einbeck, GermaniaAHA-BUCH GmbH
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 53,49
EUR 64,37 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Taschenbuch. Condizione: 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 distr…ibuted programs.- Issues and tools for protocol specification.- Conclusion.
Altre immagini- Brossura
Da: preigu, Osnabrück, Germaniapreigu
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 50,25
EUR 70,00 spedizioneSpedito da Germania a U.S.A.Quantità: 5 disponibili
Taschenbuch. Condizione: 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.

Distributed Systems: Methods and Tools for Specification. An Advanced Course (Lecture Notes in Computer Science, 190)
Alford, M.W.; Ansart, J.P.; Hommel, G.; Lamport, L.; Liskov, B.; Mullery, G.P.; Schneider, F.B.; Paul, Manfred [Editor]; Siegert, H.J. [Editor];
- Brossura
Da: BennettBooksLtd, Los Angeles, CA, U.S.A.BennettBooksLtd
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 137,67
EUR 6,08 spedizioneSpedito in U.S.A.Quantità: 1 disponibili
paperback. Condizione: New. In shrink wrap. Looks like an interesting title.

- Brossura
- Print on Demand
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germaniabuchversandmimpf2000
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 53,49
EUR 60,00 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Taschenbuch. Condizione: 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.- Paradig…ms for distributed programs.- Issues and tools for protocol specification.- Conclusion.Springer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 584 pp. Englisch.

- Brossura
- Print on Demand
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermaniaBuchWeltWeit Ludwig Meier e.K.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 106,99
EUR 23,00 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Taschenbuch. Condizione: 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.- Par…adigms for distributed programs.- Issues and tools for protocol specification.- Conclusion. 584 pp. Englisch.