Alessandro Aldini
Formal Methods for Quantitative Aspects of Programming Languages: 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, Sfm 2010, Bertinoro, Italy, June 21, 2010, Advanced Lectures - Lecture Notes in C Alessandro Aldini

¿Tienes un perfil? Iniciar sesión

Nuestros clientes opinan:

Top-vurdering på Google Reviews, baseret på tusinder af anmeldelser.

Política de devolución de 14 días conforme a la legislación europea de protección de los consumidores

Mejor valorado en Trustpilot

Añadir a tu lista de deseos de iMusic

Formal Methods for Quantitative Aspects of Programming Languages: 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, Sfm 2010, Bertinoro, Italy, June 21, 2010, Advanced Lectures - Lecture Notes in C

Alessandro Aldini

Presents a set of 4 papers accompanying the lectures of leading researchers given at the 10th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, held in Bertinoro, Italy, in June 2010.

169 pages, 31 black & white illustrations, biography

Medios de comunicación	Libros Paperback Book (Libro con tapa blanda y lomo encolado)
Publicado	11 de junio de 2010
ISBN13	9783642136771
Editores	Springer-Verlag Berlin and Heidelberg Gm
Páginas	169
Dimensiones	155 × 234 × 10 mm · 276 g
Lengua	Francés
Editor	Aldini, Alessandro
Editor	Bernardo, Marco
Editor	Pierro, Alessandra Di
Editor	Wiklicky, Herbert