All About Maude - A High-Performance Logical Framework / Lecture Notes in Computer Science Bd.4350 (PDF)
How to Specify, Program, and Verify Systems in Rewriting Logic
(Sprache: Englisch)
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...
sofort als Download lieferbar
eBook (pdf)
Fr. 106.50
inkl. MwSt.
- Kreditkarte, Paypal, Rechnung
- Kostenloser tolino webreader
Produktdetails
Produktinformationen zu „All About Maude - A High-Performance Logical Framework / Lecture Notes in Computer Science Bd.4350 (PDF)“
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.
Bibliographische Angaben
- Autoren: Manuel Clavel , Francisco Durán , Steven Eker , Patrick Lincoln , Narciso Martí-Oliet , José Meseguer , Carolyn Talcott
- 2007, 2007, 802 Seiten, Englisch
- Verlag: Springer-Verlag GmbH
- ISBN-10: 3540719997
- ISBN-13: 9783540719991
- Erscheinungsdatum: 19.07.2007
Abhängig von Bildschirmgrösse und eingestellter Schriftgrösse kann die Seitenzahl auf Ihrem Lesegerät variieren.
eBook Informationen
- Dateiformat: PDF
- Grösse: 9.71 MB
- Mit Kopierschutz
- Vorlesefunktion
Sprache:
Englisch
Kopierschutz
Dieses eBook können Sie uneingeschränkt auf allen Geräten der tolino Familie lesen. Zum Lesen auf sonstigen eReadern und am PC benötigen Sie eine Adobe ID.
Pressezitat
From the reviews:"This book is designed as a comprehensive introduction and reference to Maude as a system. … Whether you are a researcher in formal methods or only curious about different programming paradigms, this reference work is an interesting read. This very hands-on book is full of illuminating examples. … This book is an ideal introduction for computer professionals interested in more formal programming paradigms." (Markus Wolf, ACM Computing Reviews, Vol. 49 (12), December, 2008)
Kommentar zu "All About Maude - A High-Performance Logical Framework / Lecture Notes in Computer Science Bd.4350"
0 Gebrauchte Artikel zu „All About Maude - A High-Performance Logical Framework / Lecture Notes in Computer Science Bd.4350“
Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
---|
Schreiben Sie einen Kommentar zu "All About Maude - A High-Performance Logical Framework / Lecture Notes in Computer Science Bd.4350".
Kommentar verfassen