LNCS 4350 - All About Maude - A High-Performance Logical...

Main
LNCS 4350 - All About Maude - A...

LNCS 4350 - All About Maude - A High-Performance Logical Framework (Frontmatter Pages)

Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer & Carolyn Talcott

0 / 0

Wie gefällt Ihnen dieses Buch?

Wie ist die Qualität der Datei?

Herunterladen Sie das Buch, um Ihre Qualität zu bewerten

Wie ist die Qualität der heruntergeladenen Dateien?

All About Maude - A High-Performance Logical Framework

Jahr:

2008

Sprache:

spanish

ISBN 10:

3540719407

ISBN 13:

9783540719403

Datei:

FB2 , 5.53 MB

IPFS:

,

spanish, 2008

Online lesen

Die Konvertierung in ist im Gange

Die Konvertierung in ist fehlgeschlagen

Es kann für Sie interessant sein

N. Marti-Oliet, J. Mesegue (eds.) — Theoretical Computer Science, Volume 285, Issue 2, Pages 119-564 (28 August 2002), Rewriting Logic and its Applications

K. Futatsugi, A.T. Nakagawa, T. Tamai — CAFE: An Industrial Strength Algebraic Formal Method

J. A. Bergstra, J. Heering — Algebraic Specification (Acm Press Frontier Series)

Kenneth Slonneger, Barry L. Kurtz — Formal Syntax and Semantics of Programming Languages: A Laboratory Based Approach

Joseph A. Goguen, Grant Malcolm — Algebraic Semantics of Imperative Programs

Joseph Goguen; Grant Malcolm — Algebraic semantics of imperative programs

Victoria Stavridou — Formal Methods in Circuit Design

Horst Reichel — Initial Computability, Algebraic Specifications, and Partial Algebras

Jan Grabowski (editor); Pierre Lescanne (editor); Wolfgang Wechler (editor) — Algebraic and Logic Programming: Proceedings of an International Workshop held in Gaussig (GDR), November 14–18, 1988

Reiko Heckel, Sebastian Thöne (auth.), José Luiz Fiadeiro, Peter D. Mosses, Fernando Orejas (eds.) — Recent Trends in Algebraic Development Techniques: 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004. Revised Selected Papers

Michel Bidoit (auth.), D. Sannella, A. Tarlecki (eds.) — Recent Trends in Data Type Specification: 5th Workshop on Specification of Abstract Data Types Gullane, Scotland, September 1–4, 1987 Selected Papers

Bernd Krieg-Brückner (auth.), Magne Haveraaen, Olaf Owe, Ole-Johan Dahl (eds.) — Recent Trends in Data Type Specification: 11th Workshop on Specification of Abstract Data Types Joint with the 8th COMPASS Workshop Oslo, Norway, September 19–23, 1995 Selected Papers

Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer & Carolyn Talcott — LNCS 4350 - All About Maude - A High-Performance Logical Framework (Frontmatter Pages)

Marie-Claude Gaudel, Gilles Bernot, Egidio Astesiano, Hans-Jörg Kreowski, Bernd Krieg-Brückner — Algebraic Foundations of Systems Specification (IFIP State-of-the-Art Reports)

Egidio Astesiano; Hans-Jörg Kreowski; Bernd Krieg-Brückner — Algebraic Foundations of Systems Specification

RaМ†zvan Diaconescu; Kokichi Futatsugi — CafeOBJ report: the language, proof techniques, and methodologies for object-oriented algebraic specification

Am meisten angefragte Begriffe