EAN: 9783540719403

Bilder-Quelle: shopping24.de – Sport

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.

Produktinformationen zuletzt aktualisiert am
29.03.2025 um 14:59 Uhr

Produktzustand:

Verfügbarkeit:

Versandkosten:

Sonderpreis: