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

Guardado en:

Detalles Bibliográficos
Autor principal:	Gilles Barthe, Frank S. Boer (edición)
Formato:	Libro
Idioma:	Inglés
Publicado:	Berlín, Alemania : Springer, 2008, c2008
Colección:	(Lecture Notes in Computer Science)
Acceso en línea:	Ver documento en línea
Etiquetas:	Agrega una etiqueta Sin etiquetas, Sé el primero en etiquetar este registro!

Ejemplares similares: Formal Methods for Open Object-Based Distributed Systems :

Quick Look
Formal Methods for Open Object-Based Distributed Systems : IFIP TC6 / WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), February 15.18, 1999, Florence, Italy /
Quick Look
Formal Methods for Open Object-Based Distributed Systems : 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings /
Quick Look
Formal Methods for Open Object-Based Distributed Systems IV : IFIP TC6/WG6.1. Fourth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2000) September 6.8, 2000, Stanford, California, USA /
Quick Look
Formal Methods for Open Object-Based Distributed Systems : 6th IFIP WG 6.1 International Conference, FMOODS 2003, Paris, France, November 19.21, 2003, Proceedings /
Quick Look
Formal Methods for Open Object-Based Distributed Systems V : IFIP TC6 / WG6.1 Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2002) March 20.22, 2002, Enschede, The Netherlands /
Quick Look
Formal Methods for Open Object-Based Distributed Systems : 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005, Proceedings /
Quick Look
Formal Methods for Open Object-Based Distributed Systems : 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006, Proceedings /
Quick Look
Formal Methods for Open Object-based Distributed Systems : Volume 2 /
Quick Look
Formal Methods for Open Object-based Distributed Systems : Volume 1 /
Quick Look
Formal Methods for Components and Objects : 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, State of the Art Survey /
Quick Look
Distributed Applications and Interoperable Systems : 8th IFIP WG 6.1 International Conference, DAIS 2008, Oslo, Norway, June 4-6, 2008, Proceedings /
Quick Look
Formal Techniques for Distributed Systems : Joint 13th IFIP WG 6.1 International Conference, FMOODS 2011, and 30th IFIP WG 6.1 International Conference, FORTE 2011, Reykjavik, Island, June 6-9, 2011, Proceedings /
Quick Look
Formal Techniques for Distributed Systems : Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG 6.1 International Conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9, 2010, Proceedings /
Quick Look
Formal Techniques for Distributed Systems : Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 13-16, 2012, Proceedings /
Quick Look
Formal Methods for Components and Objects : 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers /
Quick Look
Formal Methods for Components and Objects : 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures /
Quick Look
Formal Techniques for Networked and Distributed Systems . FORTE 2008 : 28th IFIP WG 6.1 International Conference Tokyo, Japan, June 10-13, 2008 Proceedings /
Quick Look
Formal Methods for Components and Objects : 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010 /
Quick Look
Formal Methods for Components and Objects : 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures /
Quick Look
Formal Techniques for Distributed Objects, Components, and Systems : 34th IFIP WG 6.1 International Conference, FORTE 2014, Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec, 2014 Berlin, Germany, June 3-5, 2014 : Proceedings /
Quick Look
Formal Methods for Components and Objects : First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures /
Quick Look
Formal Methods for Components and Objects : Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003. Revised Lectures /
Quick Look
Formal Methods for Components and Objects : Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004, Revised Lectures /
Quick Look
Formal Methods for Components and Objects : 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers /