Distributed Systems
Autor M. W. Alford, J. P. Ansart, G. Hommel, L. Lamport, B. Liskov, G. P. Mullery, F. B. Schneider Editat de Manfred Paul, H. J. Siegerten Limba Engleză Paperback – apr 1985
Preț: 336.71 lei
Preț vechi: 420.88 lei
-20%
Puncte Express: 505
Preț estimativ în valută:
59.53€ • 68.29$ • 51.43£
59.53€ • 68.29$ • 51.43£
Carte tipărită la comandă
Livrare economică 02-16 mai
Specificații
ISBN-13: 9783540152163
ISBN-10: 3540152164
Pagini: 584
Ilustrații: VIII, 576 p.
Dimensiuni: 155 x 235 x 32 mm
Greutate: 0.87 kg
Ediția:1985
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
ISBN-10: 3540152164
Pagini: 584
Ilustrații: VIII, 576 p.
Dimensiuni: 155 x 235 x 32 mm
Greutate: 0.87 kg
Ediția:1985
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
Public țintă
ResearchCuprins
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.