Refine your search

Your search returned 3 results. Subscribe to this search

|
1. Tools and Algorithms for the Construction and Analysis of Systems (vol. # 3920) [Recurso electrónico] / 12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, V by Hermanns, Holger. 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. CONCUR 2006 - Concurrency Theory [Recurso electrónico] / 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006 edited by Christel Baier, Holger Hermanns. by Baier, Christel. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2006 Availability: No items available:

3. Computer Aided Verification [Recurso electrónico] : 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007. Proceedings / edited by Werner Damm, Holger Hermanns. by Damm, Werner. Material type Archivo de ordenador; Format: electrónico Publication: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007 Availability: No items available:

Powered by Koha