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



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.
Über den Autor
Neu
90,90 €
Entdecke mehr zum Thema
frontend/listing/product-box/box-product-slider.tpl
-31%
- hardcover
- 397 Seiten
- Erschienen 1993
- Springer
inkl. MwSt. versandkostenfrei
Lieferzeit 1-3 Werktag(e)
de Rijke, Maarten
111,09 €
160,49 €
frontend/listing/product-box/box-product-slider.tpl
-93%
frontend/listing/product-box/box-product-slider.tpl
-94%
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
-95%
frontend/listing/product-box/box-product-slider.tpl
-58%
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
-63%
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
-94%
frontend/listing/product-box/box-product-slider.tpl
-71%
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
-88%
- Hardcover
- 504 Seiten
- Erschienen 1973
- Springer
inkl. MwSt. versandkostenfrei
Lieferzeit 1-3 Werktag(e)
Troelstra, Anne S.
8,12 €
69,54 €
frontend/listing/product-box/box-product-slider.tpl
-85%
frontend/listing/product-box/box-product-slider.tpl
-34%
- paperback
- 220 Seiten
- Erschienen 1985
- Routledge
inkl. MwSt. versandkostenfrei
Lieferzeit 1-3 Werktag(e)
Cresswell, M. J.
12,75 €
19,21 €
frontend/listing/product-box/box-product-slider.tpl
-100%
frontend/listing/product-box/box-product-slider.tpl
-89%
- Hardcover
- 388 Seiten
- Erschienen 1993
- Springer
inkl. MwSt. versandkostenfrei
Lieferzeit 1-3 Werktag(e)
Fritzson, Peter A.
5,83 €
53,49 €
frontend/listing/product-box/box-product-slider.tpl
-88%
- Taschenbuch
- 242 Seiten
- Erschienen 2008
- Dover Pubn Inc
inkl. MwSt. versandkostenfrei
Lieferzeit 1-3 Werktag(e)
Moschovakis, Yiannis N
1,79 €
15,00 €
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
-75%
- hardcover
- 198 Seiten
- Erschienen 1981
- McGraw-Hill Inc.,US
inkl. MwSt. versandkostenfrei
Lieferzeit 1-3 Werktag(e)
Jeffrey, Richard C.
16,44 €
64,57 €
frontend/listing/product-box/box-product-slider.tpl
-67%
- Kartoniert
- 239 Seiten
- Erschienen 2006
- Brill | mentis
inkl. MwSt. versandkostenfrei
Lieferzeit 1-3 Werktag(e)
Barwise, John und Etchemend...
18,74 €
56,00 €
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
-34%
- paperback
- 268 Seiten
- Erschienen 2016
- Springer
inkl. MwSt. versandkostenfrei
Lieferzeit 1-3 Werktag(e)
Atkinson, Anthony C.
70,95 €
106,99 €
frontend/listing/product-box/box-product-slider.tpl
-97%
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
-60%
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
-72%
frontend/listing/product-box/box-product-slider.tpl
-86%
frontend/listing/product-box/box-product-slider.tpl
-53%
frontend/listing/product-box/box-product-slider.tpl
-44%
frontend/listing/product-box/box-product-slider.tpl
-60%
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl