Refine your search

Your search returned 2 results. Subscribe to this search

1. Synchronous programming of reactive systems / Nicolas Halbwachs by Halbwachs, Nicolas Material type Libro; Format: impreso Publication: Dordrecht : Kluwer Academic, 1993 Physical description: 174 p. Availability: Items available: 03. BIBLIOTECA INGENIERÍA PUERTO REAL [681.3.06/Hal/syn] (1),

Place hold Log in to add tags. Add to cart
2. Tools and Algorithms for the Construction and Analysis of Systems (vol. # 3440) [Recurso electrónico] / 11th International Conference, TACAS 2005, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2005, Ed by Halbwachs, Nicolas. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2005 Availability: No items available:

Powered by Koha