धन उगाहना 15 सितंबर, 2024 – 1 अक्टूबर, 2024 धन उगाहने के अभियान के बारे में

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 [Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer & Carolyn Talcott]

0 / 0

यह पुस्तक आपको कितनी अच्छी लगी?

फ़ाइल की गुणवत्ता क्या है?

पुस्तक की गुणवत्ता का मूल्यांकन करने के लिए यह पुस्तक डाउनलोड करें

डाउनलोड की गई फ़ाइलों की गुणवत्ता क्या है?

All About Maude - A High-Performance Logical Framework

साल:

2008

ISBN 10:

3540719407

ISBN 13:

9783540719403

फ़ाइल:

LIT , 3.23 MB

IPFS:

,

2008

ऑनलाइन पढ़ें

में रूपांतरण जारी है

में रूपांतरण विफल रहा

आप के लिए दिलचस्प हो सकता है

Kenneth Slonneger, Barry Kurtz — Formal Syntax And Semantics Of Programming Languages

Laurente Pointal — Python 2.4 Quick Reference Card (2007)

John V. Guttag, James J. Horning (auth.), Søren Prehn, Hans Toetenel (eds.) — VDM '91 Formal Software Development Methods: 4th International Symposium of VDM Europe Noordwijkerhout, The Netherlands, October 21–25, 1991 Proceedings

Slonneger K. — Syntax and semantics of programming languages

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

Barbara Liskov, John V. Guttag — Abstraction and Specification in Program Development

Joseph Goguen; Grant Malcolm — Algebraic semantics of imperative programs

Victoria Stavridou — Formal Methods in Circuit Design

H. Reichel — Structural Induction on Partial Algebras, II: Introduction to Theory and Application to Partial Algebras

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

John V. Guttag, James J. Horning (auth.), Søren Prehn, Hans Toetenel (eds.) — VDM '91 Formal Software Development Methods: 4th International Symposium of VDM Europe Noordwijkerhout, The Netherlands, October 21–25, 1991 Proceedings

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

सबसे उपयोगी शब्द