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

AvEsther Guerra,Fernando Orejas

Häftad, Engelska, 2019

699 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

AvHans-Jörg Kreowski,Ugo Montanari m. fl.

Häftad, Engelska, 2005

699 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

AvJosé Luiz Fiadeiro,Peter Mosses m. fl.

Häftad, Engelska, 2005

719 kr

Skickas inom 10-15 vardagar

Automata, Languages and Programming

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

AvFernando Orejas,Paul G. Spirakis m. fl.

Häftad, Engelska, 2001

699 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)

AvJosep Diaz,Fernando Orejas

Häftad, Engelska, 1989

699 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)

AvJosep Diaz,Fernando Orejas

Häftad, Engelska, 1989

719 kr

Skickas inom 10-15 vardagar

Algebraic System Specification and Development

A Survey and Annotated Bibliography

AvMichel Bidoit,Hans-Jörg Kreowski m. fl.

Häftad, Engelska, 1991

699 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

AvHartmut Ehrig,Klaus P. Jantke m. fl.

Häftad, Engelska, 1991

719 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

AvHartmut Ehrig,Fernando Orejas

Häftad, Engelska, 1994

719 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

AvDimitra Giannakopoulou,Fernando Orejas

Häftad, Engelska, 2011

719 kr

Skickas inom 10-15 vardagar