Advanced Lectures on Software Engineering: LASER Summer School 2007/2008 - Programming and Software Engineering - Peter Muller - Libros - Springer-Verlag Berlin and Heidelberg Gm - 9783642130090 - 20 de mayo de 2010
En caso de que portada y título no coincidan, el título será el correcto

Peter Muller
Advanced Lectures on Software Engineering: LASER Summer School 2007/2008 - Programming and Software Engineering

Recibe un correo electrónico cuando el artículo esté disponible
¿Tienes un perfil? Iniciar sesión

Nuestros clientes opinan:

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

Topics covered include verification of fine-grain concurrency and transactions, the SCOOP model for concurrent object-oriented programming, the Spec# programming and verification system, verification in the prototype verification system PVS, and multi-core chip design.

196 pages, 99 black & white illustrations, biography

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 20 de mayo de 2010
ISBN13 9783642130090
Editores Springer-Verlag Berlin and Heidelberg Gm
Páginas 189
Dimensiones 160 × 234 × 13 mm   ·   317 g
Editor Muller, Peter

Mas por Peter Muller

Mostrar todo

Ver todo de Peter Muller ( Ej. Paperback Book , Hardcover Book , Book y CD )