Conte aos seus amigos sobre este item:
Symbolic model checking
Kenneth L. McMillan
Preço
SEK 1.039
excluindo impostos
Item sob encomenda (no estoque do fornecedor)
Espera-se estar pronto para envio 9 - 16 de out
O que dizem nossos clientes:
Adicione à sua lista de desejos do iMusic
Também disponível como:
Symbolic model checking
Kenneth L. McMillan
| Mídia | Livros Book |
| Lançado | 31 de julho de 1993 |
| ISBN13 | 9780792393801 |
| Editoras | Kluwer Academic |
| Páginas | 194 |
| Dimensões | 426 g |
| Idioma | English |
Ver tudo de Kenneth L. McMillan ( por exemplo Book e Paperback Book )