Refine your search

Your search returned 3 results. Subscribe to this search

|
1. Relational Methods in Computer Science [Recurso electrónico] / 8th International Seminar on Relational Methods in Computer Science, 3rd International Workshop on Applications of Kleene Algebra, Workshop of COST Action 274: TARSKI, St. Catharin by MacCaull, Wendy. 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. Algebraic Methodology and Software Technology [Recurso electrónico] / 11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006, Proceedings edited by Michael Johnson, Varmo Vene. by Johnson, Michael. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2006 Availability: No items available:

3. Certified Programs and Proofs [Recurso electrónico] : Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012. Proceedings / edited by Chris Hawblitzel, Dale Miller. by Hawblitzel, Chris. Material type Libro; Format: electrónico Publication: Berlin, Heidelberg : Springer Berlin Heidelberg : | Imprint: Springer, 2012 Availability: No items available:

Powered by Koha