Theory and Practice of Formal Methods: Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday - Lecture Notes in Computer Science -  - Livros - Springer International Publishing AG - 9783319307336 - 13 de março de 2016
Caso a capa e o título não sejam correspondentes, considere o título como correto

Theory and Practice of Formal Methods: Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday - Lecture Notes in Computer Science 1st ed. 2016 edition

Preço
R$ 296,90
excluindo impostos

Item sob encomenda (no estoque do fornecedor)

Espera-se estar pronto para envio 6 - 12 de out
Adicione à sua lista de desejos do iMusic

Ainda não avaliado

This Festschrift volume has been published in honor ofFrank de Boer, on the occasion of his 60th birthday. Frank S. For a while, he also liked failures, especially in semantics, andoptimistically concluded with the failure of failures.


427 pages, 112 colour illustrations, biography

Mídia Livros     Paperback Book   (Livro de capa flexível e brochura)
Lançado 13 de março de 2016
ISBN13 9783319307336
Editoras Springer International Publishing AG
Páginas 427
Dimensões 157 × 236 × 26 mm   ·   666 g
Idioma Alemão  
Editor Abraham, Erika
Editor Bonsangue, Marcello
Editor Johnsen, Einar Broch

Mais da mesma editora