De: R$ 1.587,28Por: R$ 1.111,10ou X de
Economia de R$ 476,18Para envios internacionais, simule o frete no carrinho de compras.
Editora
ISBN
Páginas
Peso
Idioma
Acabamento
Sinopse
This monograph gives a comprehensive account of Maude, a language and system based on rewriting logic. 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. Maude is used in many institutions around the world for teaching, research, and formal modeling and analysis of concurrent and distributed systems.
Many examples are used throughout the book to illustrate the main ideas, features, and uses of Maude. The book comes with a CD-ROM containing the complete Maude 2.3 software distribution (including source code), a pdf version of this monograph, and the executable Maude code for all the examples in the book.
Many examples are used throughout the book to illustrate the main ideas, features, and uses of Maude. The book comes with a CD-ROM containing the complete Maude 2.3 software distribution (including source code), a pdf version of this monograph, and the executable Maude code for all the examples in the book.
Mostrar mais
Ficha técnica
Especificações
| ISBN | 9783540719403 |
|---|---|
| Pré venda | Não |
| Peso | 890g |
| Autor para link | VÁRIOS AUTORES,CLAVEL MANUEL |
| Livro disponível - pronta entrega | Não |
| Dimensões | 23 x 16 x 1 |
| Tipo item | Livro Importado |
| Número de páginas | 797 |
| Número da edição | 1ª EDIÇÃO - 2007 |
| Código Interno | 627621 |
| Código de barras | 9783540719403 |
| Acabamento | HARDCOVER |
| Autor | VÁRIOS AUTORES | CLAVEL, MANUEL |
| Editora | SPRINGER VERLAG |
| Sob encomenda | Sim |
Mostrar mais