Formal Methods and Hybrid Real-Time Systems: Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays - Lecture Notes in Computer Science - Cliff B Jones - Livros - Springer-Verlag Berlin and Heidelberg Gm - 9783540752202 - 6 de setembro de 2007
Caso a capa e o título não sejam correspondentes, considere o título como correto

Formal Methods and Hybrid Real-Time Systems: Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays - Lecture Notes in Computer Science 2007 edition

Cliff B Jones

Preço
R$ 311,90
excluindo impostos

Item sob encomenda (no estoque do fornecedor)

Espera-se estar pronto para envio 17 - 21 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

Formal Methods and Hybrid Real-Time Systems: Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays - Lecture Notes in Computer Science 2007 edition

The volume includes 25 refereed papers by leading researchers, current and former colleagues, who congregated at a celebratory symposium held in Macao, China, in the course of the International Colloquium on Theoretical Aspects of Computing, ICTAC 2007.

542 pages, biography

Mídia Livros     Paperback Book   (Livro de capa flexível e brochura)
Lançado 6 de setembro de 2007
ISBN13 9783540752202
Editoras Springer-Verlag Berlin and Heidelberg Gm
Páginas 542
Dimensões 155 × 235 × 28 mm   ·   775 g
Idioma French  
Editor Jones, Cliff B.
Editor Liu, Zhiming
Editor Woodcock, Jim
Mostrar tudo

Mais por Cliff B Jones

Ver tudo de Cliff B Jones ( por exemplo Paperback Book e Hardcover Book )