Cantitate/Preț
Produs
Total produse
Vezi coșul
Distributed Systems: Methods and Tools for Specification. An Advanced Course de M.W. Alford

Distributed Systems: Methods and Tools for Specification. An Advanced Course: Lecture Notes in Computer Science, cartea 190

Autor M.W. Alford Editat de Manfred Paul Autor J.P. Ansart Editat de H.J. Siegert Autor G. Hommel, L. Lamport, B. Liskov, G.P. Mullery, F.B. Schneider
en Limba Engleză Paperback – apr 1985

Din seria Lecture Notes in Computer Science

Preț: 34656 lei

Preț vechi: 43321 lei
-20% Nou

Puncte Express: 520
Preț estimativ în valută:
6632€ • 6882$ • 5543£

Carte tipărită la comandă

Livrare economică 15-29 martie

 Adaugă în coș

Wish list
Gift list
Am citit!
Adaugă în listă
Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9783540152163
ISBN-10: 3540152164
Pagini: 584
Ilustrații: VIII, 576 p.
Dimensiuni: 155 x 235 x 31 mm
Greutate: 0.81 kg
Ediția:1985
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seria Lecture Notes in Computer Science

Locul publicării:Berlin, Heidelberg, Germany

Public țintă

Research

Cuprins

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.