Limit search to available items
Add Marked to Bag Add All On Page Add Marked to My Lists
Authors (Last name first) (1-12 of 12)
Barthe, Gilles, 1967-
5
E-book
2008

Formal methods for open object-based distributed systems : 10th IFIP WG 6.1 international conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 : proceedings


International Conference on Formal Methods for Open Object-Based Distributed Systems (10th : 2008 : Oslo, Norway)



Rating:

 
6
E-book
2021

Foundations of probabilistic programming




Cambridge : Cambridge University Press, 2021

Rating:

 
9
E-book
2016

Security and trust management : 12th International Workshop, STM 2016, Heraklion, Crete, Greece, September 26-27, 2016, Proceedings


STM (Conference) (12th : 2016 : Ērakleion, Greece)

Cham, Switzerland : Springer, 2016

Rating:

 
10
E-book
2011

Software engineering and formal methods : 9th international conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011 : proceedings


International Conference on Software Engineering and Formal Methods (9th : 2011 : Montevideo, Uruguay)



Rating:

 
Add Marked to Bag Add All On Page
Locate in results