LNCS 2755 - Recent Trends in Algebraic Development...

Main
LNCS 2755 - Recent Trends in Algebraic...

LNCS 2755 - Recent Trends in Algebraic Development Techniques (Frontmatter Pages)

Martin Wirsing, Dirk Pattinson & Rolf Hennicker [Martin Wirsing, Dirk Pattinson & Rolf Hennicker]

0 / 0

Bạn thích cuốn sách này tới mức nào?

Chất lượng của file scan thế nào?

Xin download sách để đánh giá chất lượng sách

Chất lượng của file tải xuống thế nào?

Recent Trends in Algebraic Development Techniques

Năm:

2009

ISBN 10:

3540205373

ISBN 13:

9783540205371

File:

LIT , 4.32 MB

IPFS:

,

2009

Đọc online

Hoàn thành chuyển đổi thành trong

Chuyển đổi thành không thành công

Có thể bạn quan tâm

Martin Wirsing & Dirk Pattinson && Rolf Hennicker — LNCS 2755 - Recent Trends in Algebraic Development Techniques (Frontmatter Pages)

S. L. Bloom, Z. Ésik (auth.), Till Mossakowski, Ugo Montanari, Magne Haveraaen (eds.) — Algebra and Coalgebra in Computer Science: Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007. Proceedings

José Luiz Fiadeiro, Ionuț Țuțu — Recent Trends in Algebraic Development Techniques: 24th IFIP WG 1.3 International Workshop, WADT 2018, Egham, UK, July 2–5, 2018, Revised Selected Papers

Geoffrey Burn (auth.), Geoffrey Burn BSc (Hons), PhD, DIC, Simon Gay BA (Hons), DipCompSci, Mark Ryan MA, PhD (eds.) — Theory and Formal Methods 1993: Proceedings of the First Imperial College Department of Computing Workshop on Theory and Formal Methods, Isle of Thorns Conference Centre, Chelwood Gate, Sussex, UK, 29–31 March 1993

Martin Wirsing, Dirk Pattinson & Rolf Hennicker — LNCS 2755 - Recent Trends in Algebraic Development Techniques (Frontmatter Pages)

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

Kokichi Futatsugi, Jean-Pierre Jouannaud, José Meseguer, (eds.) — Algebra, Meaning, and Computation: Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday

Roswitha Bardohl, Martin Groβe-Rhode (auth.), Maura Cerioli, Gianna Reggio (eds.) — Recent Trends in Algebraic Development Techniques: 15th International Workshop, WADT 2001 Joint with the CoFI WG Meeting Genova, Italy, April 1–3, 2001 Selected Papers

Joachim van den Berg, Marieke Huisman, Bart Jacobs, Erik Poll (auth.), Didier Bert, Christine Choppy, Peter D. Mosses (eds.) — Recent Trends in Algebraic Development Techniques: 14th International Workshop, WADT ’99, Château de Bonas, September 15-18, 1999 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

Kent Beck (auth.), Egidio Astesiano (eds.) — Fundamental Approaches to Software Engineering: First International Conference, FASE'98 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98 Lisbon, Portugal, March 28 – April 4, 1998 Proceedings

Joachim van den Berg, Marieke Huisman, Bart Jacobs, Erik Poll (auth.), Didier Bert, Christine Choppy, Peter D. Mosses (eds.) — Recent Trends in Algebraic Development Techniques: 14th International Workshop, WADT ’99, Château de Bonas, September 15-18, 1999 Selected Papers

José Luiz Fiadeiro, Pierre-Yves Schobbens — Recent trends in algebraic development techniques: 18th international workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006; revised selected papers

Michael Altenhofen, Egon Börger (auth.), Andrea Corradini, Ugo Montanari (eds.) — Recent Trends in Algebraic Development Techniques: 19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers

Alexander Kurz, Marina Lenisa, Andrzej Tarlecki — Algebra and Coalgebra in Computer Science: Third International Conference, CALCO 2009, Udine, Italy, September 7-10, 2009, Proceedings

Gordon Plotkin (auth.), Alexander Kurz, Marina Lenisa, Andrzej Tarlecki (eds.) — Algebra and Coalgebra in Computer Science: Third International Conference, CALCO 2009, Udine, Italy, September 7-10, 2009. Proceedings

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

Từ khóa thường sử dụng nhất