Logo

Educated Owl Books
Help Login / SignUp (0)
Sell with us!
Formal Methods for Open Object-Based Distributed Systems : 10th IFIP WG 6. 1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 Proce

Formal Methods for Open Object-Based Distributed Systems : 10th IFIP WG 6. 1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 Proce

by Gilles Barthe, Frank S. de Boer Paperback 2008

⭐ 0.0 rating
⭐ 0.0 out of 5 0 global ratings
5 star
65%
4 star
20%
3 star
10%
2 star
3%
1 star
2%
| 📖 0 saved | ✅ 0 verified
  • Author: Gilles Barthe, Frank S. de Boer
  • ISBN 13: 9783540688624
  • ISBN 10: 3540688625
  • Publication Year: 2008
  • Language: English

Specifications

Index-103540688625
LanguageEnglish
Index-139783540688624
Period-
Class Track-
Publisher- (2008)
Pages-

✨ Readers also enjoyed...

View All →
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices : International Workshop, CASSIS 2004, Marseille, France, March 2004, Revis

Construction and Analysis of Safe,…

Gilles Barthe, Lilian Burdy, Marieke Huisman, Jean-Louis Lanet, Traian Muntean

Inquire
Engineering Secure Software and Systems : 4th International Symposium, ESSoS 2012, Eindhoven, the Netherlands, February, 16-17, 2012, Proceedings

Engineering Secure Software and Sy…

Gilles Barthe, Ben Livshits, Riccardo Scandariato

Inquire
Formal Aspects of Security and Trust : 8th International Workshop, FAST 2011, Leuven, Belgium, September 12-14, 2011. Revised Selected Papers

Formal Aspects of Security and Tru…

Gilles Barthe, Anupam Datta, Sandro Etalle

Inquire
Foundations of Security Analysis and Design V : FOSAD 2008/2009 Tutorial Lectures

Foundations of Security Analysis a…

Alessandro Aldini, Gilles Barthe, Roberto Gorrieri

Inquire
Programming Languages and Systems : 20th European Symposium on Programming, ESOP 2011 Held as Part of the Joint European Conference on Theory and Prac

Programming Languages and Systems …

Gilles Barthe

Inquire