তহবিল সংগ্রহ ১৫ সেপ্টেম্বর 2024 – ১লা অক্টোবর 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

ফাইল:

FB2 , 5.53 MB

IPFS:

,

spanish, 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

প্রায়শই ব্যবহৃত পরিভাষা