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 - Libros - Springer-Verlag Berlin and Heidelberg Gm - 9783540719403 - 20 de julio de 2007
En caso de que portada y título no coincidan, el título será el correcto

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

Precio
Mex$ 1.945
sin IVA

Pedido desde almacén remoto

Entrega prevista 22 de jun. - 8 de jul.

Nuestros clientes opinan:

Política de devolución de 14 días conforme a la legislación europea de protección de los consumidores
Mejor valorado en Trustpilot
Añadir a tu lista de deseos de iMusic

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

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 20 de julio de 2007
ISBN13 9783540719403
Editores Springer-Verlag Berlin and Heidelberg Gm
Páginas 824
Dimensiones 156 × 234 × 41 mm   ·   1,15 kg
Lengua Inglés  

Mere med samme udgiver

Ver todo de Manuel Clavel ( Ej. Paperback Book y Hardcover Book )