Advances In Theory And Formal Methods Of Computing: Proceedings Of The Third Imperial College Workshop - - Livros - Imperial College Press - 9781860940316 - 1 de novembro de 1996
Caso a capa e o título não sejam correspondentes, considere o título como correto

Advances In Theory And Formal Methods Of Computing: Proceedings Of The Third Imperial College Workshop

Preço
R$ 832,90
excluindo impostos

Item sob encomenda (no estoque do fornecedor)

Espera-se estar pronto para envio 9 - 19 de nov
Presentes de Natal podem ser trocados até 31 de janeiro

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

Ainda não avaliado

Contains the proceedings of the third workshop of the Theory and Formal Methods Section of the Department of Computing, Imperial College, London. It covers various topics in theoretical computer science, including formal specification, theorem proving, and operational and denotational semantics.

340 pages

Mídia Livros     Hardcover Book   (Livro com lombada e capa dura)
Lançado 1 de novembro de 1996
ISBN13 9781860940316
Editoras Imperial College Press
Páginas 330
Dimensões 150 × 220 × 20 mm   ·   784 g
Idioma Inglês  
Editor Edalat, Abbas (Imperial College, Uk)
Editor Jourdan, S (Imperial College, Uk)
Editor Mccusker, G (Imperial College, Uk)

Mais da mesma editora