Refine your search

Your search returned 3 results. Subscribe to this search

|
1. Formal Methods for Components and Objects (vol. # 3657) [Recurso electrónico] / Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004, Revised Lectures edited by Marcello M. Bonsangue, Frank S. de Boer, Willem- by Bonsangue, Marcello M. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2005 Availability: No items available:

Log in to add tags. Add to cart
2. Formal Methods for Components and Objects (vol. # 4111) [Recurso electrónico] / 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures edited by Frank S. de Boer, Marcello M. Bonsangue, Susann by de Boer, Frank S. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2006 Availability: No items available:

3. Formal Methods for Open Object-Based Distributed Systems [Recurso electrónico] / 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings edited by Marcello M. Bonsangue, Einar Broch Johnsen. by Bonsangue, Marcello M. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2007 Availability: No items available:

Powered by Koha