Fernando Orejas – författare

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

10 produkter

Kategorier

10 produkter

Del 11629
Del 11629 - Lecture Notes in Computer Science
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
729 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 Montanarim. fl.
Häftad, Engelska, 2005
749 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 Mossesm. fl.
Häftad, Engelska, 2005
749 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. Spirakism. fl.
Häftad, Engelska, 2001
749 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
729 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
749 kr
Skickas inom 10-15 vardagar
Algebraic System Specification and Development
A Survey and Annotated Bibliography
AvMichel Bidoit,Hans-Jörg Kreowskim. fl.
Häftad, Engelska, 1991
729 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. Jantkem. fl.
Häftad, Engelska, 1991
749 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
749 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
749 kr
Skickas inom 10-15 vardagar

Fernando Orejas – författare

Graph Transformation

Formal Methods in Software and Systems Modeling

Recent Trends in Algebraic Development Techniques

Automata, Languages and Programming

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

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

Algebraic System Specification and Development

Recent Trends in Data Type Specification

Recent Trends in Data Type Specification

Fundamental Approaches to Software Engineering

Fernando Orejas – författare

Graph Transformation

Formal Methods in Software and Systems Modeling

Recent Trends in Algebraic Development Techniques

Automata, Languages and Programming

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

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

Algebraic System Specification and Development

Recent Trends in Data Type Specification

Recent Trends in Data Type Specification

Fundamental Approaches to Software Engineering