Your search returned 10 results.

Results
	1.	Abstraction, Refinement and Proof for Probabilistic Systems [recurso electrónico] / by Annabelle McIver, Carroll Morgan. por McIver, Annabelle [author.] Morgan, Carroll [author.] SpringerLink (Online service) Series Monographs in Computer Science Tipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: New York, NY : Springer New York, 2005 En: Springer eBooks Recursos en línea: Ver el texto completo en las instalaciones del CICY Disponibilidad: Ítems disponibles para préstamo: CICY (1)Colección, signatura topográfica: Libro electrónico 005.11. Place hold Add to cart (remove)
	2.	Adapting Proofs-as-Programs [recurso electrónico] : The Curry-Howard Protocol / by Iman Hafiz Poernomo, Martin Wirsing, John Newsome Crossley. por Poernomo, Iman Hafiz [author.] Wirsing, Martin [author.] Crossley, John Newsome [author.] SpringerLink (Online service) Series Monographs in Computer Science Tipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: New York, NY : Springer New York, 2005 En: Springer eBooks Recursos en línea: Ver el texto completo en las instalaciones del CICY Disponibilidad: Ítems disponibles para préstamo: CICY (1)Colección, signatura topográfica: Libro electrónico 005.1015113. Place hold Add to cart (remove)
	3.	Mathematical Problems from Applied Logic I [recurso electrónico] : Logics for the XXIst Century / edited by Dov M. Gabbay, Sergei S. Goncharov, Michael Zakharyaschev. por Gabbay, Dov M [editor.] Goncharov, Sergei S [editor.] Zakharyaschev, Michael [editor.] SpringerLink (Online service) Series International Mathematical Series ; 4 Tipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: New York, NY : Springer New York, 2006 En: Springer eBooks Recursos en línea: Ver el texto completo en las instalaciones del CICY Disponibilidad: Ítems disponibles para préstamo: CICY (1)Colección, signatura topográfica: Libro electrónico 511.3. Place hold Add to cart (remove)
	4.	A Modular Calculus for the Average Cost of Data Structuring [recurso electrónico] / by Michel Schellekens. por Schellekens, Michel [author.] SpringerLink (Online service) Tipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Boston, MA : Springer US, 2008 En: Springer eBooks Recursos en línea: Ver el texto completo en las instalaciones del CICY Disponibilidad: Ítems disponibles para préstamo: CICY (1)Colección, signatura topográfica: Libro electrónico 005.1. Place hold Add to cart (remove)
	5.	Programming Languages [electronic resource] : An Active Learning Approach / by Kent Lee. por Lee, Kent [author.] SpringerLink (Online service) Tipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Boston, MA : Springer US, 2008 En: Springer eBooks Recursos en línea: Ver el texto completo en las instalaciones del CICY Disponibilidad: Ítems disponibles para préstamo: CICY (1). Place hold Add to cart (remove)
	6.	Rigorous Software Development [electronic resource] : An Introduction to Program Verification / by José Bacelar Almeida, Maria João Frade, Jorge Sousa Pinto, Simão Melo de Sousa. por Almeida, José Bacelar [author.] Frade, Maria João [author.] Pinto, Jorge Sousa [author.] Melo de Sousa, Simão [author.] SpringerLink (Online service) Series Undergraduate Topics in Computer Science Tipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: London : Springer London : Imprint: Springer, 2011 En: Springer eBooks Recursos en línea: Ver el texto completo en las instalaciones del CICY Disponibilidad: Ítems disponibles para préstamo: CICY (1)Colección, signatura topográfica: Libro electrónico 005.1. Place hold Add to cart (remove)
	7.	Introduction to the Theory of Programming Languages [electronic resource] / by Gilles Dowek, Jean-Jacques Lévy. por Dowek, Gilles [author.] Lévy, Jean-Jacques [author.] SpringerLink (Online service) Series Undergraduate Topics in Computer Science Tipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: London : Springer London : Imprint: Springer, 2011 En: Springer eBooks Recursos en línea: Ver el texto completo en las instalaciones del CICY Disponibilidad: Ítems disponibles para préstamo: CICY (1)Colección, signatura topográfica: Libro electrónico 004.0151. Place hold Add to cart (remove)
	8.	Specification of Software Systems [electronic resource] / by V.S. Alagar, K. Periyasamy. por Alagar, V.S [author.] Periyasamy, K [author.] SpringerLink (Online service) Series Texts in Computer Science Edición: 2nd Edition. Tipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: London : Springer London : Imprint: Springer, 2011 En: Springer eBooks Recursos en línea: Ver el texto completo en las instalaciones del CICY Disponibilidad: Ítems disponibles para préstamo: CICY (1)Colección, signatura topográfica: Libro electrónico 005.1. Place hold Add to cart (remove)
	9.	Modern Formal Methods and Applications [electronic resource] / edited by Hossam A. Gabbar. por Gabbar, Hossam A [editor.] SpringerLink (Online service) Tipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Dordrecht : Springer Netherlands, 2006 En: Springer eBooks Recursos en línea: Ver el texto completo en las instalaciones del CICY Disponibilidad: Ítems disponibles para préstamo: CICY (1)Colección, signatura topográfica: Libro electrónico 541.2. Place hold Add to cart (remove)
	10.	Handbook of Philosophical Logic [electronic resource] / edited by D.M. Gabbay, F. Guenthner. por Gabbay, D.M [editor.] Guenthner, F [editor.] SpringerLink (Online service) Series Handbook of Philosophical Logic ; 14 Edición: 2nd Edition. Tipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Dordrecht : Springer Netherlands, 2007 En: Springer eBooks Recursos en línea: Ver el texto completo en las instalaciones del CICY Disponibilidad: Ítems disponibles para préstamo: CICY (1)Colección, signatura topográfica: Libro electrónico 160. Place hold Add to cart (remove)