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
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
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.
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
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.
Paperback:
9783540438649 | Springer-Verlag New York Inc, July 1, 2002, cover price $189.00
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)
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.
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.
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.
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.
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.
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