A Calculus of Communicating Systems
Autor R. Milneren Limba Engleză Paperback – sep 1980
Preț: 368.19 lei
Nou
Puncte Express: 552
Preț estimativ în valută:
65.17€ • 75.97$ • 56.99£
65.17€ • 75.97$ • 56.99£
Carte tipărită la comandă
Livrare economică 21 ianuarie-04 februarie 26
Preluare comenzi: 021 569.72.76
Specificații
ISBN-13: 9783540102359
ISBN-10: 3540102353
Pagini: 184
Ilustrații: VI, 174 p.
Dimensiuni: 155 x 235 x 11 mm
Greutate: 0.29 kg
Ediția:1980
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
ISBN-10: 3540102353
Pagini: 184
Ilustrații: VI, 174 p.
Dimensiuni: 155 x 235 x 11 mm
Greutate: 0.29 kg
Ediția:1980
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
V-ar putea interesa
-
The Essential Financial ToolkitJ. Estrada-15%Preț: 451.30 lei530.95 lei -
Align IT: Business Impact Through ITRichard Wyatt–HainesPreț: 456.99 lei -
-8%Preț: 482.49 lei524.45 lei -
Implementing World Class It StrategyPeter A HighPreț: 292.73 lei -
Effective Crm Using Predictive AnalyticsAntonios Chorianopoulos-8%Preț: 448.88 lei487.91 lei -
-19%Preț: 442.59 lei546.41 lei -
-20%Preț: 733.09 lei916.36 lei -
Time Is MoneyTammy Everts-20%Preț: 84.42 lei105.52 lei -
-21%Preț: 91.36 lei115.74 lei -
-9%Preț: 958.83 lei1053.66 lei -
Preț: 375.81 lei -
The Integrated Architecture Framework Explained: Why, What, HowJack van't WoutPreț: 475.21 lei
Public țintă
ResearchCuprins
0. Introduction.- 1. Experimenting on nondeterministic machines.- 2. Synchronization.- 3. A case study in synchronization and proof techniques.- 4. Case studies in value-communication.- 5. Syntax and semantics of CCS.- 6. Communication trees (CTs) as a model of CCS.- 7. Observation equivalence and its properties.- 8. Some proofs about data structures.- 9. Translation into CCS.- 10. Determinancy and confluence.- 11. Conclusion.