Gilles Barthe

Popular items by Gilles Barthe

View all offers

Formal Methods for Open Object-Based Distributed Systems

Item prices starting from

� 6.64

View 15 offers

Also find
New, Used
Foundations of Probabilistic Programming

Item prices starting from

� 22.49

View 6 offers

Also find
New, Used
Foundations of Security Analysis and Design V

Item prices starting from

� 44.30

View 7 offers

Also find
New, Used
Programming Languages and Systems: 20th European Symposium on Programming, ESOP 2011, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbr�cken,...

Item prices starting from

� 55.14

View 8 offers

Also find
New, Used