All About Maude - a High-performance Logical Framework: How to Specify, Program, and Verify Systems in Rewriting Logic - Lecture Notes in Computer Science - Manuel Clavel - Livros - Springer-Verlag Berlin and Heidelberg Gm - 9783540719403 - 20 de julho de 2007
Caso a capa e o título não sejam correspondentes, considere o título como correto

Manuel Clavel
All About Maude - a High-performance Logical Framework: How to Specify, Program, and Verify Systems in Rewriting Logic - Lecture Notes in Computer Science 2007 edition

Preço
€ 103,99

Item sob encomenda (no estoque do fornecedor)

Data prevista de entrega 31 de jul - 14 de ago
Receba avisos sobre novos lançamentos de Manuel Clavel

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

Maude and its formal tool environment can be used in three mutually reinforcing ways: as a declarative programming language, as an executable formal specification language, and as a formal verification system. This monograph offers a comprehensive account of Maude, a language and system based on rewriting logic.

824 pages, biography

Mídia Livros     Paperback Book   (Livro de capa flexível e brochura)
Lançado 20 de julho de 2007
ISBN13 9783540719403
Editoras Springer-Verlag Berlin and Heidelberg Gm
Páginas 824
Dimensões 156 × 234 × 41 mm   ·   1,15 kg
Idioma Inglês  

Mais da mesma editora

Ver tudo de Manuel Clavel ( por exemplo Paperback Book e Hardcover Book )