Refine your search

Your search returned 2 results. Subscribe to this search

|
1. Formal Techniques for Networked and Distributed Systems - FORTE 2006 [Recurso electrónico] / 26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006, Proceedings edited by Elie Najm, Jean-Francois Pradat-Peyre, Véroniq by Najm, Elie. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2006 Availability: No items available:

Log in to add tags. Add to cart
2. SDL 2007: Design for Dependable Systems [Recurso electrónico] : 13th International SDL Forum Paris, France, September 18-21, 2007 Proceedings / edited by Emmanuel Gaudin, Elie Najm, Rick Reed. by Gaudin, Emmanuel. Material type Archivo de ordenador; Format: electrónico Publication: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007 Availability: No items available:

Powered by Koha