Zurück
Vor
Schaue jetzt ins Buch
All About Maude - A High-Performance Logical Framework
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:
-
Verwandte Sachgebiete:
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.
Über den Autor
Neu
90,90 €
Entdecke mehr Gebrauchtes für Dich
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
- Hardcover
- 184 Seiten
- Packt Publishing
inkl. MwSt. versandkostenfrei
Lieferzeit 1-3 Werktag(e)
Siriwardena, Prabath
7,39 €
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl