search for books and compare prices
Fernando Orejas has written 9 work(s)
Search for other authors with the same name
displaying 1 to 9 | at end
show results in order: alphabetically | oldest to newest | newest to oldest
Cover for 9783642198106 Cover for 9783540253273 Cover for 9783540438649 Cover for 9783540422877 Cover for 9783540578673 Cover for 9780387578675 Cover for 9780387544960 Cover for 9783540509394 Cover for 9783540509400
cover image for 9783642198106
Product Description: 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...read more
By Dimitra Giannakopoulou (editor), Fernando Orejas (editor) and Vladimiro Sassone (foreword by)

Paperback:

9783642198106 | Springer-Verlag New York Inc, January 24, 2012, cover price $109.00 | About this edition: 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.

cover image for 9783540253273
Product Description: 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 abstract data types and encompasses today the formal design of software systems, new speci?cation frameworks and a wide range of application areas...read more
By Jose Luiz Fiadeiro (editor), Peter Mosses (editor) and Fernando Orejas (editor)

Paperback:

9783540253273 | Revised edition (Springer Verlag, September 30, 2005), cover price $99.00 | About this edition: This volume contains selected papers from WADT 2004, the 17th International Workshop on Algebraic Development Techniques.

cover image for 9783540422877
Product Description: 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. four invited papers were carefully reviewed and selected from a total of 208 submissions...read more (view table of contents, read Amazon.com's description)
By J. Van Leeuwen (editor), Fernando Orejas (editor) and Paul G. Spirakis (editor)

Paperback:

9783540422877 | Springer Verlag, July 1, 2001, cover price $99.00 | About this edition: 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.

cover image for 9783540578673
Product Description: 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...read more

Paperback:

9783540578673 | Springer Verlag, April 1, 1995, cover price $89.99 | About this edition: Research in the area of abstract data types started about 20 years ago.

cover image for 9780387578675
Product Description: 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...read more

Paperback:

9780387578675 | Springer Verlag, April 1, 1994, cover price $59.95 | About this edition: Research in the area of abstract data types started about 20 years ago.

cover image for 9780387544960
Product Description: The algebraic specification of abstract data types is now a well established research topic in computer science. This area influences both applications and theoretical foundations of methodologies which support the design and formal development of reliable software...read more

Paperback:

9780387544960 | Springer Verlag, November 1, 1991, cover price $59.95 | About this edition: The algebraic specification of abstract data types is now a well established research topic in computer science.

cover image for 9783540509394
Product Description: 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 Programming (CAAP '89) - Colloquium on Current Issues in Programming Languages (CCIPL) The TAPSOFT '89 Conference Proceedings are published in two volumes...read more

Paperback:

9783540509394, titled "Tapsoft '89. Proceedings of the International Joint Conference on Theory and Practice of Software Development, Barcelona, Spain, March 13-17, 1989: Advanced Seminar on Foundations of Innovative Software Development I and Colloquium on Trees in Algebra and Programming (Caap '89)" | Springer Verlag, February 27, 1989, cover price $109.00 | About this edition: TAPSOFT '89 is the Third International Joint Conference on Theory and Practice of Software Development held in Barcelona, Spain, March 13-17, 1989.

cover image for 9783540509400
Product Description: 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 Programming (CAAP '89) - Colloquium on Current Issues in Programming Languages (CCIPL) The TAPSOFT '89 Conference Proceedings are published in two volumes...read more

Paperback:

9783540509400, titled "Tapsoft '89. Proceedings of the International Joint Conference on Theory and Practice of Software Development Barcelona, Spain, March 13-17, 1989: Advanced Seminar on Foundations of Innovative Software Development II and Colloquium on Current Issues in Programming Languages (Ccipl)" | Springer Verlag, February 27, 1989, cover price $109.00 | About this edition: TAPSOFT '89 is the Third International Joint Conference on Theory and Practice of Software Development held in Barcelona, Spain, March 13-17, 1989.

displaying 1 to 9 | at end