Advanced Lectures on Software Engineering: LASER Summer School 2007/2008 - Programming and Software Engineering - Peter Muller - Livros - Springer-Verlag Berlin and Heidelberg Gm - 9783642130090 - 20 de maio de 2010
Caso a capa e o título não sejam correspondentes, considere o título como correto

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

Receba um e-mail quando o item estiver disponível
Você tem um perfil? Entrar

O que dizem nossos clientes:

Política de devolução de 14 dias, em conformidade com a lei europeia de proteção do consumidor
Melhor classificação na Trustpilot
Adicione à sua lista de desejos do 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

Mídia Livros     Paperback Book   (Livro de capa flexível e brochura)
Lançado 20 de maio de 2010
ISBN13 9783642130090
Editoras Springer-Verlag Berlin and Heidelberg Gm
Páginas 189
Dimensões 160 × 234 × 13 mm   ·   317 g
Editor Muller, Peter

Mais por Peter Muller

Mostrar tudo

Ver tudo de Peter Muller ( por exemplo Paperback Book , Hardcover Book , Book e CD )