Δωρεές 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

0 / 0

Πόσο σας άρεσε αυτό το βιβλίο;

Ποια είναι η ποιότητα του ληφθέντος αρχείου;

Κατεβάστε το βιβλίο για να αξιολογήσετε την ποιότητά του

Ποια είναι η ποιότητα των ληφθέντων αρχείων;

All About Maude - A High-Performance Logical Framework

Έτος:

2008

Γλώσσα:

spanish

ISBN 10:

3540719407

ISBN 13:

9783540719403

Αρχείο:

AZW3 , 3.87 MB

IPFS:

,

spanish, 2008

Διαβάστε online

Η μετατροπή σε βρίσκεται σε εξέλιξη

Η μετατροπή σε απέτυχε

Ίσως σας ενδιαφέρει

it-ebooks — Data Structures and Functional Programming Lecture Notes (Cornell CS3110)

Kuldeep Singh Kaswan, Jagjit Singh Dhatterwal, B. Balamurugan — Python for Beginners

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

Kuldeep Singh Kaswan, Jagjit Singh Dhatterwal, B. Balamurugan — Python for Beginners

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 [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

Taneja Sheetal & Kumar Naveen — Python Programming: A modular approach

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

Φράσεις κλειδιά