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

Sukakah anda buku ini?

Bagaimana kualiti fail ini?

Muat turun buku untuk menilai kualitinya

Bagaimana kualiti fail yang dimuat turun?

All About Maude - A High-Performance Logical Framework

Tahun:

2008

Bahasa:

spanish

ISBN 10:

3540719407

ISBN 13:

9783540719403

Fail:

AZW3 , 3.87 MB

IPFS:

,

spanish, 2008

Baca dalam Talian

Memuat turun (azw3, 3.87 MB)

Penukaran menjadi sedang dijalankan

Penukaran menjadi gagal

Mungkin anda berminat

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

Istilah utama