Conte aos seus amigos sobre este item:
Verification of Sequential and Concurrent Programs - Texts in Computer Science Krzysztof R. Apt 3rd ed. 2009, Corr. 3rd printing 2010 edition
Preço
R 1.788
excluindo impostos
Item sob encomenda (no estoque do fornecedor)
Espera-se estar pronto para envio 9 - 15 de dez
Presentes de Natal podem ser trocados até 31 de janeiro
O que dizem nossos clientes:
Adicione à sua lista de desejos do iMusic
Também disponível como:
Verification of Sequential and Concurrent Programs - Texts in Computer Science
Krzysztof R. Apt
HIS BOOK CONTAINS a most comprehensive text that presents syntax-directed and compositional methods for the formal veri?- T cation of programs.
502 pages, 26 black & white illustrations, biography
| Mídia | Livros Hardcover Book (Livro com lombada e capa dura) |
| Lançado | 5 de outubro de 2009 |
| ISBN13 | 9781848827448 |
| Editoras | Springer London Ltd |
| Páginas | 502 |
| Dimensões | 167 × 237 × 32 mm · 911 g |
| Idioma | Inglês |
| Contribuidor | Amir Pnueli |
Mostrar tudo
Mais por Krzysztof R. Apt
Ver tudo de Krzysztof R. Apt ( por exemplo Hardcover Book e Paperback Book )