Luca de Alfaro – författare
Visar alla böcker från författaren Luca de Alfaro. Handla med fri frakt och snabb leverans.
5 produkter
CONCUR 2005 - Concurrency Theory
16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005, Proceedings
Av Martín Abadi, Luca de Alfaro
Häftad, 2005
568 kr
Lägg i varukorg
This volume contains the papers presented at CONCUR 2005, the 16th - ternational Conference on Concurrency Theory. The purpose of the CONCUR series of conferences is to bring together researchers,developers, and students in order to advance the theory of concurrency and to promote its applications. …
CONCUR 2005 - Concurrency Theory
16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005, Proceedings
Av Luca de Alfaro, Martin Abadi
E-bok, 2005
755 kr
Lägg i varukorg
This volume contains the papers presented at CONCUR 2005, the 16th - ternational Conference on Concurrency Theory. The purpose of the CONCUR series of conferences is to bring together researchers,developers, and students in order to advance the theory of concurrency and to promote its applications. …
Process Algebra and Probabilistic Methods. Performance Modelling and Verification
Joint International Workshop, PAPM-PROBMIV 2001, Aachen, Germany, September 12-14, 2001. Proceedings
Av Luca de Alfaro, Stephen Gilmore
Häftad, 2001
552 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the Joint Workshop on Process Algebra and Performance Modeling and Probabilistic Methods in Verification, PAPM-PROBMIV 2001, held in Aachen, Germany in September 2001.The 12 revised full papers presented together with one invited paper were …
Process Algebra and Probabilistic Methods. Performance Modelling and Verification
Joint International Workshop, PAPM-PROBMIV 2001, Aachen, Germany, September 12-14, 2001. Proceedings
Av Stephen Gilmore, Luca de Alfaro
E-bok, 2003
734 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the Joint Workshop on Process Algebra and Performance Modeling and Probabilistic Methods in Verification, PAPM-PROBMIV 2001, held in Aachen, Germany in September 2001. The 12 revised full papers presented together with one invited paper were …
Foundations of Software Science and Computational Structures
12th International Conference, FOSSACS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009, Proceedings
Häftad, 2009
568 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 12th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2009, held in York, UK, in March 2009, as part of ETAPS 2009, the European Joint Conferences on Theory and Practice of Software. The 30 …
