Orejas, Fernando books & textbook
Algebraic System Specification and Development: A Survey and Annotated Bibliography (Lecture Notes in Computer Science, 501)
Bidoit, Michel Kreowski, Hans-Jörg Lescanne, Pierre Orejas, Fernando Sannella, Donald
Springer /1991-06-26 Paperback / 196 Pages
isbn-10: 3540540601 / isbn-13: 9783540540601
TAPSOFT '89: Proceedings of the International Joint Conference on Theory and Practice of Software Development Barcelona, Spain, March 13-17, 1989: ... (Lecture Notes in Computer Science, 352)
Springer /1989-02-27 Paperback / 404 Pages
isbn-10: 3540509402 / isbn-13: 9783540509400
Recent Trends in Data Type Specification: 7th Workshop on Specification of Abstract Data Types, Wusterhausen/Dosse, Germany, April 17-20, 1990. Proceedings (Lecture Notes in Computer Science, 534)
Ehrig, Hartmut Jantke, Klaus P. Orejas, Fernando Reichel, Horst
Springer /1991-09-11 Paperback / 392 Pages
isbn-10: 3540544968 / isbn-13: 9783540544968
Graph Transformation: 12th International Conference, ICGT 2019, Held as Part of STAF 2019, Eindhoven, The Netherlands, July 15–16, 2019, Proceedings (Theoretical Computer Science and General Issues)
Guerra, Esther Orejas, Fernando
Springer /2019-06-25 Paperback / 244 Pages
isbn-10: 3030236102 / isbn-13: 9783030236106
El dia despues de Bolonia / The day after Bologna (Spanish Edition)
Michavila Pitarch, Francisco Ripollés, María Esteve Ramírez, Francisco Uceda, Javier Gutiérrez-Solana Salcedo, Federico Solar Cayón, José Ignacio Valle Canal, Anselmo Palma, Montserrat Gisbert, Mercè Miguel Galán, Fernando Jiménez Raneda, Ignacio Salaburu, Pello Jofre, Lluis Puyol Antolín, Rafael Toledo, Francisco Nadal, Josep María Mayor Oreja, Carlos Jiménez, Jesús Gil Costa, Alberto Michavila, Francesc Ripollés, María Esteve, Francesc
Tecnos /2011-06-13 Paperback / 280 Pages
isbn-10: 8430952969 / isbn-13: 9788430952960
Recent Trends in Data Type Specification: 9th Workshop on Specification of Abstract Data Types Joint with the 4th COMPASS Workshop, Caldes de ... (Lecture Notes in Computer Science, 785)
Ehrig, Hartmut Orejas, Fernando
Springer /1994-04-28 Paperback / 364 Pages
isbn-10: 3540578676 / isbn-13: 9783540578673
Automata, Languages and Programming
Spirakis, P.G. Orejas, Fernando Spirakis, Paul G. Leeuwen, Jan van
Springer /2001-06-27 Paperback / 1083 Pages
isbn-10: 3540422870 / isbn-13: 9783540422877
Recent Trends in Algebraic Development Techniques: 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004, Revised Selected Papers (Lecture Notes in Computer Science, 3423)
Fiadeiro, José Luiz Mosses, Peter Orejas, Fernando
Springer /2005-03-23 Paperback / 288 Pages
isbn-10: 3540253270 / isbn-13: 9783540253273
Formal Methods in Software and Systems Modeling: Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday (Lecture Notes in Computer Science, 3393)
Kreowski, Hans-Jörg Montanari, Ugo Orejas, Fernando Rozenberg, Grzegorz Taentzer, Gabriele
Springer /2005-02-09 Paperback / 448 Pages
isbn-10: 3540249362 / isbn-13: 9783540249368
