Hoppa till sidans huvudinnehåll

Fernando Orejas - Böcker

Visar alla böcker från författaren Fernando Orejas.
10 produkter

Graph Transformation

12th International Conference, ICGT 2019, Held as Part of STAF 2019, Eindhoven, The Netherlands, July 15–16, 2019, Proceedings

Av Esther Guerra, Fernando Orejas

Häftad, Engelska, 2019

709 kr

Skickas inom 10-15 vardagar

Formal Methods in Software and Systems Modeling

Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday

Av Hans-Jörg Kreowski, Ugo Montanari m. fl

Häftad, Engelska, 2005

709 kr

Skickas inom 10-15 vardagar

Recent Trends in Algebraic Development Techniques

17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004, Revised Selected Papers

Av José Luiz Fiadeiro, Peter Mosses m. fl

Häftad, Engelska, 2005

729 kr

Skickas inom 10-15 vardagar

Automata, Languages and Programming

28th International Colloquium, ICALP 2001 Crete, Greece, July 8–12, 2001 Proceedings

Av Fernando Orejas, Paul G. Spirakis m. fl

Häftad, Engelska, 2001

709 kr

Skickas inom 10-15 vardagar

TAPSOFT '89: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Barcelona, Spain, March 13-17, 1989

Volume 1: Advanced Seminar on Foundations of Innovative Software Development I and Colloquium on Trees in Algebra and Programming (CAAP '89)

Av Josep Diaz, Fernando Orejas

Häftad, Engelska, 1989

709 kr

Skickas inom 10-15 vardagar

TAPSOFT '89: Proceedings of the International Joint Conference on Theory and Practice of Software Development Barcelona, Spain, March 13-17, 1989

Volume 2: Advanced Seminar on Foundations of Innovative Software Development II and Colloquium on Current Issues in Programming Languages (CCIPL)

Av Josep Diaz, Fernando Orejas

Häftad, Engelska, 1989

729 kr

Skickas inom 10-15 vardagar

Algebraic System Specification and Development

A Survey and Annotated Bibliography

Av Michel Bidoit, Hans-Jörg Kreowski m. fl

Häftad, Engelska, 1991

709 kr

Skickas inom 10-15 vardagar

Recent Trends in Data Type Specification

7th Workshop on Specification of Abstract Data Types, Wusterhausen/Dosse, Germany, April 17-20, 1990. Proceedings

Av Hartmut Ehrig, Klaus P. Jantke m. fl

Häftad, Engelska, 1991

729 kr

Skickas inom 10-15 vardagar

Recent Trends in Data Type Specification

9th Workshop on Specification of Abstract Data Types Joint with the 4th COMPASS Workshop, Caldes de Malavella, Spain, October 26 - 30, 1992. Selected Papers

Av Hartmut Ehrig, Fernando Orejas

Häftad, Engelska, 1994

729 kr

Skickas inom 10-15 vardagar

Fundamental Approaches to Software Engineering

14th International Conference, FASE 2011, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26--April 3, 2011, Proceedings

Av Dimitra Giannakopoulou, Fernando Orejas

Häftad, Engelska, 2011

729 kr

Skickas inom 10-15 vardagar