Fernando Orejas – författare
Visar alla böcker från författaren Fernando Orejas. Handla med fri frakt och snabb leverans.
15 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, 2019
551 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 12th International Conference on Graph Transformation, ICGT 2019, held as part of STAF 2019, in Eindhoven, The Netherlands, in July2019.The 12 research papers and 1 tool paper presented in this book were carefully reviewed and selected from 22 …
Graph Transformation
12th International Conference, ICGT 2019, Held as Part of STAF 2019, Eindhoven, The Netherlands, July 15–16, 2019, Proceedings
Av Fernando Orejas, Esther Guerra
E-bok, 2019
734 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 12th International Conference on Graph Transformation, ICGT 2019, held as part of STAF 2019, in Eindhoven, The Netherlands, in July2019. The 12 research papers and 1 tool paper presented in this book were carefully reviewed and selected from 22 …
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, 2005
568 kr
Lägg i varukorg
By presenting state-of-the-art research results on various aspects of formal and visual modeling of software and systems, this book commemorates the 60th birthday of Hartmut Ehrig.The 24 invited reviewed papers are written by students and collaborators of Hartmut Ehrig who are established …
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, 2005
568 kr
Lägg i varukorg
This volume contains selected papers from WADT 2004, the 17th International Workshop on Algebraic Development Techniques. Like its predecessors, WADT 2004 focussed on the algebraic approach to the speci?cation and development of systems, an area that was born around the algebraic speci?cation of …
Formal Methods in Software and Systems Modeling
Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday
Av Gabriele Taentzer, Grzegorz Rozenberg m. fl.
E-bok, 2005
718 kr
Lägg i varukorg
By presenting state-of-the-art research results on various aspects of formal and visual modeling of software and systems, this book commemorates the 60 th birthday of Hartmut Ehrig. The 24 invited reviewed papers are written by students and collaborators of Hartmut Ehrig who are established …
Recent Trends in Algebraic Development Techniques
17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004, Revised Selected Papers
Av Fernando Orejas, Peter Mosses m. fl.
E-bok, 2005
739 kr
Lägg i varukorg
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, 2001
567 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 28th International Colloquium on Automata, Languages and Programming, ICALP 2001, held in Crete, Greece in July 2001. The 80 revised papers presented together with two keynote contributions and four invited papers were carefully reviewed and …
Automata, Languages and Programming
28th International Colloquium, ICALP 2001 Crete, Greece, July 8–12, 2001 Proceedings
Av Jan van Leeuwen, Paul G. Spirakis m. fl.
E-bok, 2003
712 kr
Lägg i varukorg
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, 1989
551 kr
Lägg i varukorg
TAPSOFT '89 is the Third International Joint Conference on Theory and Practice of Software Development held in Barcelona, Spain, March 13-17, 1989. The conference consisted of three parts: - Advanced Seminar on Foundations of Innovative Software Development - Colloquium on Trees in Algebra and …
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, 1989
567 kr
Lägg i varukorg
TAPSOFT '89 is the Third International Joint Conference on Theory and Practice of Software Development held in Barcelona, Spain, March 13-17, 1989. The conference consissted of three parts: - Advanced Seminar on Foundations of Innovative Software Development - Colloquium on Trees in Algebra and …
Algebraic System Specification and Development
A Survey and Annotated Bibliography
Av Michel Bidoit, Hans-Jörg Kreowski m. fl.
Häftad, 1991
552 kr
Lägg i varukorg
Methods for the algebraic specification of abstract data types were proposed in the early 1970s in the USA and Canada and became a major research issue in Europe shortly afterwards. Since then the algebraic approach has come to play a central role in research on formal specification and …
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, 1991
567 kr
Lägg i varukorg
The algebraic specification of abstract data types is now awell establishedresearch topic in computer science. Thisarea influences both applications and theoreticalfoundations of methodologies which support the design andformal development of reliable software.The Seventh Workshop on Specification …
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, 1994
567 kr
Lägg i varukorg
Research in the area of abstract data types started about 20 years ago. Since then there has been continuous activity with strong influence both on the applications and the theoretical foundations of methodologies for software design. The Ninth Workshop on Specification of Abstract Data Types was …
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, 2011
568 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 14th International Conference on Fundamental Approaches to Software Engineering, FASE 2011, held in Saarbrücken, Germany, March 26—April 3, 2011, as part of ETAPS 2011, the European Joint Conferences on Theory and Practice of Software. The 29 …
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 Fernando Orejas, Dimitra Giannakopoulou
E-bok, 2011
755 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 14th International Conference on Fundamental Approaches to Software Engineering, FASE 2011, held in Saarbrücken, Germany, March 26—April 3, 2011, as part of ETAPS 2011, the European Joint Conferences on Theory and Practice of Software. The 29 …
