Hoppa till sidans huvudinnehåll

Luca de Alfaro – författare

Visar alla böcker från författaren .
3 produkter
Martín Abadi, Luca de Alfaro - CONCUR 2005 - Concurrency Theory, Häftad

CONCUR 2005 - Concurrency Theory

16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005, Proceedings

AvMartín Abadi,Luca de Alfaro

Häftad, Engelska, 2005

729 kr

Skickas inom 10-15 vardagar

Luca de Alfaro, Stephen Gilmore - Process Algebra and Probabilistic Methods. Performance Modelling and Verification, Häftad

Process Algebra and Probabilistic Methods. Performance Modelling and Verification

Joint International Workshop, PAPM-PROBMIV 2001, Aachen, Germany, September 12-14, 2001. Proceedings

AvLuca de Alfaro,Stephen Gilmore

Häftad, Engelska, 2001

709 kr

Skickas inom 10-15 vardagar

Luca de Alfaro - Foundations of Software Science and Computational Structures, Häftad

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

AvLuca de Alfaro

Häftad, Engelska, 2009

729 kr

Skickas inom 10-15 vardagar