8 द्वारा ईबुक Gianluigi Zavattaro
Martin Steffen & Gianluigi Zavattaro: Formal Methods for Open Object-Based Distributed Systems
…
PDF
अंग्रेज़ी
DRM
€57.65
Mario Bravetti & Leila Kloul: Formal Techniques for Computer Systems and Business Processes
…
PDF
अंग्रेज़ी
DRM
€58.12
Doug Lea & Gianluigi Zavattaro: Coordination Models and Languages
Modern information systems rely increasingly on combining concurrent, d- tributed, real-time, recon?gurable and heterogeneous components. New models, architectures, languages, and veri?cation techniq …
PDF
अंग्रेज़ी
DRM
€57.94
Marco Bernardo & Pierpaolo Degano: Formal Methods for Computational Systems Biology
…
PDF
अंग्रेज़ी
DRM
€57.42
Mario Bravetti & Gianluigi Zavattaro: CONCUR 2009 – Concurrency Theory
This volume contains the proceedings of the 20th Conference on Concurrency Theory (CONCUR 2009), held in Bologna, September 1-4, 2009. The purpose of the CONCUR conference is to bring together resear …
PDF
अंग्रेज़ी
DRM
€114.92
Flavio De Paoli & Ernesto Pimentel: Service-Oriented and Cloud Computing
This book constitutes the refereed proceedings of the First European Conference on Service-Oriented and Cloud Computing, ESOCC, held in Bertinoro, Italy, in September 2012. The 12 full papers, 3 shor …
PDF
अंग्रेज़ी
DRM
€51.34
