Fernando Orejas

Identifiers

Open LibraryOL7339804A

Top Subjects

Logic, symbolic and mathematical (1)
Software engineering (1)
Computer science, mathematics (1)
Computer software, development (1)
Abstract data types (computer science) (1)

Books by Fernando Orejas

Total count: 5

Automata, Languages and Programming28th International Colloquium, ICALP 2001 Crete, Greece, July 8-12, 2001 Proceedings

Springer London, Limited2003-01-01
Formal Methods in Software and Systems ModelingEssays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday

Springer London, Limited2005-01-01
Recent Trends in Algebraic Development Techniques17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004, Revised Selected Papers

Springer London, Limited2005-01-01
Fundamental Approaches to Software Engineering14th 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

Springer London, Limited2011-01-01
Graph Transformation12th International Conference, ICGT 2019, Held as Part of STAF 2019, Eindhoven, The Netherlands, July 15–16, 2019, Proceedings

Springer2019-06-25