Algebraic System Specification and Development: A Survey and Annotated Bibliography: 501 (Lecture Notes in Computer Science)
by Fernando Orejas,Michel Bidoit,Hans-J??rg Kreowski,Donald Sannella,Pierre Lescanne
ISBN 13: 9783540540601
Format: Paperback (112 pages) Publisher: Springer Published: 26 Jun 1991
Save for later
Recent Trends in Data Type Specification: 7th Workshop on Specification of Abstract Data Types, Wusterhausen/Dosse, Germany, April 17-20, 1990. Proceedings: 534 (Lecture Notes in Computer Science)
by Hartmut Ehrig,Fernando Orejas,Horst Reichel,Klaus P. Jantke
ISBN 13: 9783540544968
Format: Paperback (392 pages) Publisher: Springer Published: 13 Jun 2008
Recent Trends in Algebraic Development Techniques: 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004, Revised Selected Papers: 3423 (Lecture Notes in Computer Science)
by Fernando Orejas,Luiz Fiadeiro,Peter Mosses
ISBN 13: 9783540253273
Format: Paperback (288 pages) Publisher: Springer Published: 13 Jun 2008
TAPSOFT '89. Proceedings of the International Joint Conference on Theory and Practice of Software Development, Barcelona, Spain, March 13-17, 1989: ... 351 (Lecture Notes in Computer Science)
by Fernando Orejas,Josep Diaz
ISBN 13: 9783540509394
Format: Paperback (408 pages) Publisher: Springer Published: 13 Jun 2008
Automata, Languages and Programming: 28th International Colloquium, ICALP 2001 Crete, Greece, July 8-12, 2001 Proceedings: 2076 (Lecture Notes in Computer Science)
by Fernando Orejas,Paul G. Spirakis,Jan van Leeuwen
ISBN 13: 9783540422877
Format: Paperback (1104 pages) Publisher: Springer Published: 27 Jun 2001
Graph Transformation: 12th International Conference, ICGT 2019, Held as Part of STAF 2019, Eindhoven, The Netherlands, July 15–16, 2019, Proceedings: 11629 (Lecture Notes in Computer Science)
by Esther Guerra, Fernando Orejas
ISBN 13: 9783030236106
Format: Paperback (244 pages) Publisher: Springer Published: 25 Jun 2019