Theory and Formal Methods 1993: Proceedings of the First Imperial College Department of Computing Workshop on Theory and Formal Methods, Isle of Thorns Conference Centre, Chelwood Gate, Sussex, UK, 29-31 March 1993 - Workshops in Computing - Geoffrey Burn - Livros - Springer-Verlag Berlin and Heidelberg Gm - 9783540198420 - 24 de setembro de 1993
Caso a capa e o título não sejam correspondentes, considere o título como correto

Geoffrey Burn
Theory and Formal Methods 1993: Proceedings of the First Imperial College Department of Computing Workshop on Theory and Formal Methods, Isle of Thorns Conference Centre, Chelwood Gate, Sussex, UK, 29-31 March 1993 - Workshops in Computing Softcover reprint of the original 1st ed. 1993 edition

Preço
R$ 297,90
excluindo impostos

Item sob encomenda (no estoque do fornecedor)

Espera-se estar pronto para envio 2 - 8 de out
Receba avisos sobre novos lançamentos de Geoffrey Burn

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

This volume contains the proceedings of the fIrst workshop held by the Theory and Formal Methods Section ofthe Imperial College Department of Computing. The papers fall into four broad areas: * semantics * concurrency * logic * specification with some papers spanning a number of disciplines.

337 pages, 9 black & white illustrations

Mídia Livros     Paperback Book   (Livro de capa flexível e brochura)
Lançado 24 de setembro de 1993
ISBN13 9783540198420
Editoras Springer-Verlag Berlin and Heidelberg Gm
Páginas 329
Dimensões 155 × 235 × 18 mm   ·   476 g
Idioma Alemão  
Editor Burn, Geoffrey
Editor Gay, Simon
Editor Ryan, Mark

Mais por Geoffrey Burn

Mostrar tudo

Mais da mesma editora

Ver tudo de Geoffrey Burn