Mensys Online Shop

All About Maude - A High-Performance Logical Framework

Van:Springer Auteur(s):Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer,
Publicatie-jaar:2007 
BESTELLEN (ga naar lijst)

All About Maude - A High-Performance Logical Framework

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.

Selecteer een of meer artikelen en klik dan op Bestellen. Aantallen kunnen op de volgende blz. gewijzigd worden.
Partnr.OmschrijvingEuro *Euro incl. BTW 
9783540719403 All About Maude - A High-Performance Logical Framework68.5582.95

Alle prijzen zijn in Euro excl. BTW (21%, voor boeken 6%) en excl. verzendkosten.
Verzenden is gratis bij orders boven de 20 euro in Nederland, daaronder 5 euro excl. BTW.

E-mail of bel 085 40 19 16 0 voor licenties, upgrades en andere vragen.

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.