Kurzinformation
Sprache:
Englisch
ISBN:
3540719407
Verlag:
Seitenzahl:
797
Auflage:
-
Erschienen:
2007-07-20
Handgeprüfte Gebrauchtware
Schnelle Lieferung
Faire Preise
inkl. MwSt. Versandinformationen
Artikel zZt. nicht lieferbar
Artikel zZt. nicht lieferbar
Weitere Zahlungsmöglichkeiten
Beschreibung
All About Maude - A High-Performance Logical Framework
How to Specify, Program, and Verify Systems in Rewriting Logic
Maude is a language and system based on rewriting logic. In this comprehensive account, yoü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. von Clavel, Manuel und Durán, Francisco und Eker, Steven und Lincoln, Patrick und Martí-Oliet, Narciso und Meseguer, José
Produktdetails
Einband:
Kartoniert
Seitenzahl:
797
Erschienen:
2007-07-20
Sprache:
Englisch
EAN:
9783540719403
ISBN:
3540719407
Verlag:
Gewicht:
1223 g
Auflage:
-
Alle gebrauchten Bücher werden von uns handgeprüft.
So garantieren wir Dir zu jeder Zeit Premiumqualität.
So garantieren wir Dir zu jeder Zeit Premiumqualität.
Entdecke mehr vom Verlag
Neu
90,90 €
Entdecke mehr zum Thema
![Mata Matrix Programming [M-4] - [M-6]](https://d3k2uuz9r025mk.cloudfront.net/media/image/ab/5f/b9/1731769290_800309330425.jpg "Mata Matrix Programming [M-4] - [M-6]")
![Mata Matrix Programming [M-0] - [M-3]](https://d3k2uuz9r025mk.cloudfront.net/media/image/f3/92/c9/1731769279_148832517504.jpg "Mata Matrix Programming [M-0] - [M-3]")
