All About Maude - A High-Performance Logical Framework

Preis:	90.90 EUR* (inkl. MWST zzgl. Versand - Preis kann jetzt höher sein!)
Versand:	0.00 EUR Versandkostenfrei innerhalb von Deutschland
Partner:	buecher.de
Hersteller:	Springer, Berlin (Clavel, Manuel; Durán, Francisco; Eker, Steven; Lincoln, Patrick; Martí-Oliet, Narciso; Meseguer, Jo)
Stand:	2015-08-04 03:50:33

Produktbeschreibung

Maude is a language and system based on rewriting logic. In this comprehensive account, you ll discover how 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. Examples used throughout the book illustrate key concepts, features, and the many practical uses of Maude.

Weitere Informationen und der aktuelle Preis im Shop von buecher.de | Dieses Produkt auf den Wunschzettel legen
* Preis kann jetzt höher sein. Den aktuellen Stand und Informationen zu den Versandkosten finden sie auf der Homepage unseres Partners.