Su búsqueda retornó 11 resultados.

¿No encontró lo que esperaba? Pruebe buscando sugerencias

Resultados
	1.	Formal Methods for Eternal Networked Software Systems [electronic resource] : 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011. Advanced Lectures / edited by Marco Bernardo, ValȨrie Issarny. por Bernardo, Marco [editor.] Issarny, ValȨrie [editor.] SpringerLink (Online service) Series Lecture Notes in Computer Science ; 6659 \| Lecture Notes in Computer Science ; 6659 Tipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Springer eBooks Acceso en línea: de clik aquí para ver el libro electrónico Disponibilidad: No hay ítems disponibles. Agregar al carrito (remover)
	2.	A Process Algebraic Approach to Software Architecture Design [electronic resource] / by Alessandro Aldini, Marco Bernardo, Flavio Corradini. por Aldini, Alessandro [author.] Bernardo, Marco [author.] Corradini, Flavio [author.] SpringerLink (Online service) Tipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: London : Springer London : Imprint: Springer, 2010Springer eBooks Acceso en línea: de clik aquí para ver el libro electrónico Disponibilidad: No hay ítems disponibles. Agregar al carrito (remover)
	3.	Formal Methods for Hardware Verification [electronic resource] : 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advanced Lectures / edited by Marco Bernardo, Alessandro Cimatti. por Bernardo, Marco [editor.] Cimatti, Alessandro [editor.] SpringerLink (Online service) Series Lecture Notes in Computer Science ; 3965 \| Lecture Notes in Computer Science ; 3965 Tipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Springer eBooks Acceso en línea: de clik aquí para ver el libro electrónico Disponibilidad: No hay ítems disponibles. Agregar al carrito (remover)
	4.	Formal Methods for Performance Evaluation [electronic resource] : 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2007, Bertinoro, Italy, May 28-June 2, 2007, Advanced Lectures / edited by Marco Bernardo, Jane Hillston. por Bernardo, Marco [editor.] Hillston, Jane [editor.] SpringerLink (Online service) Series Lecture Notes in Computer Science ; 4486 \| Lecture Notes in Computer Science ; 4486 Tipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Springer eBooks Acceso en línea: de clik aquí para ver el libro electrónico Disponibilidad: No hay ítems disponibles. Agregar al carrito (remover)
	5.	Formal Methods for Mobile Computing [electronic resource] : 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures / edited by Marco Bernardo, Alessandro Bogliolo. por Bernardo, Marco [editor.] Bogliolo, Alessandro [editor.] SpringerLink (Online service) Series Lecture Notes in Computer Science ; 3465 \| Lecture Notes in Computer Science ; 3465 Tipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Springer eBooks Acceso en línea: de clik aquí para ver el libro electrónico Disponibilidad: No hay ítems disponibles. Agregar al carrito (remover)
	6.	Formal Methods for Web Services [electronic resource] : 9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009, Advanced Lectures / edited by Marco Bernardo, Luca Padovani, Gianluigi Zavattaro. por Bernardo, Marco [editor.] Padovani, Luca [editor.] Zavattaro, Gianluigi [editor.] SpringerLink (Online service) Series Lecture Notes in Computer Science ; 5569 \| Lecture Notes in Computer Science ; 5569 Tipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Springer eBooks Acceso en línea: de clik aquí para ver el libro electrónico Disponibilidad: No hay ítems disponibles. Agregar al carrito (remover)
	7.	Formal Methods for Model-Driven Engineering [electronic resource] : 12th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012. Advanced Lectures / edited by Marco Bernardo, Vittorio Cortellessa, Alfonso Pierantonio. por Bernardo, Marco [editor.] Cortellessa, Vittorio [editor.] Pierantonio, Alfonso [editor.] SpringerLink (Online service) Series Lecture Notes in Computer Science ; 7320 \| Lecture Notes in Computer Science ; 7320 Tipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Springer eBooks Acceso en línea: de clik aquí para ver el libro electrónico Disponibilidad: No hay ítems disponibles. Agregar al carrito (remover)
	8.	Formal Methods for Quantitative Aspects of Programming Languages [electronic resource] : 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010, Advanced Lectures / edited by Alessandro Aldini, Marco Bernardo, Alessandra Pierro, Herbert Wiklicky. por Aldini, Alessandro [editor.] Bernardo, Marco [editor.] Pierro, Alessandra [editor.] Wiklicky, Herbert [editor.] SpringerLink (Online service) Series Lecture Notes in Computer Science ; 6154 \| Lecture Notes in Computer Science ; 6154 Tipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Springer eBooks Acceso en línea: de clik aquí para ver el libro electrónico Disponibilidad: No hay ítems disponibles. Agregar al carrito (remover)
	9.	Formal Methods for Computational Systems Biology [electronic resource] : 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, Italy, June 2-7, 2008 Advanced Lectures / edited by Marco Bernardo, Pierpaolo Degano, Gianluigi Zavattaro. por Bernardo, Marco [editor.] Degano, Pierpaolo [editor.] Zavattaro, Gianluigi [editor.] SpringerLink (Online service) Series Lecture Notes in Computer Science ; 5016 \| Lecture Notes in Computer Science ; 5016 Tipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Springer eBooks Acceso en línea: de clik aquí para ver el libro electrónico Disponibilidad: No hay ítems disponibles. Agregar al carrito (remover)
	10.	Formal Methods for Dynamical Systems [electronic resource] : 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013. Advanced Lectures / edited by Marco Bernardo, Erik Vink, Alessandra Pierro, Herbert Wiklicky. por Bernardo, Marco [editor.] Vink, Erik [editor.] Pierro, Alessandra [editor.] Wiklicky, Herbert [editor.] SpringerLink (Online service) Series Lecture Notes in Computer Science ; 7938 \| Lecture Notes in Computer Science ; 7938 Tipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Springer eBooks Acceso en línea: de clik aquí para ver el libro electrónico Disponibilidad: No hay ítems disponibles. Agregar al carrito (remover)
	11.	Computer Performance Engineering [electronic resource] : 7th European Performance Engineering Workshop, EPEW 2010, Bertinoro, Italy, September 23-24, 2010. Proceedings / edited by Alessandro Aldini, Marco Bernardo, Luciano Bononi, Vittorio Cortellessa. por Aldini, Alessandro [editor.] Bernardo, Marco [editor.] Bononi, Luciano [editor.] Cortellessa, Vittorio [editor.] SpringerLink (Online service) Series Lecture Notes in Computer Science ; 6342 \| Lecture Notes in Computer Science ; 6342 Tipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Springer eBooks Acceso en línea: de clik aquí para ver el libro electrónico Disponibilidad: No hay ítems disponibles. Agregar al carrito (remover)