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) Diaz Josep Heftet / 1989 / Engelsk
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 Giannakopoulou Dimitra Heftet / 2011 / Engelsk
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) Diaz Josep Heftet / 1989 / Engelsk
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 Ehrig Hartmut Heftet / 1994 / Engelsk
Graph Transformation 12th International Conference, ICGT 2019, Held as Part of STAF 2019, Eindhoven, The Netherlands, July 15–16, 2019, Proceedings Guerra, Esther Heftet / 2019 / Engelsk
Recent Trends in Algebraic Development Techniques 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004, Revised Selected Papers Fiadeiro, José Luiz Heftet / 2005 / Engelsk
Automata, Languages and Programming 28th International Colloquium, ICALP 2001 Crete, Greece, July 8–12, 2001 Proceedings Orejas Fernando Heftet / 2001 / Engelsk
Recent Trends in Data Type Specification 7th Workshop on Specification of Abstract Data Types, Wusterhausen/Dosse, Germany, April 17-20, 1990. Proceedings Ehrig Hartmut Heftet / 1991 / Engelsk
Formal Methods in Software and Systems Modeling Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday Kreowski, Hans-Jörg Heftet / 2005 / Engelsk
Algebraic System Specification and Development A Survey and Annotated Bibliography Bidoit Michel Heftet / 1991 / Engelsk
