Recent Trends in Algebraic Development Techniques 15th International Workshop, WADT 2001, Joint with the CoFI WG Meeting, Genova, Italy, April 1-3, 2001. Selected Papers /

Recent Trends in Algebraic Development Techniques 15th International Workshop, WADT 2001, Joint with the CoFI WG Meeting, Genova, Italy, April 1-3, 2001. Selected Papers /

Bibliographic Details
Corporate Author:	SpringerLink (Online service)
Other Authors:	Cerioli, Maura (Editor, http://id.loc.gov/vocabulary/relators/edt), Reggio, Gianna (Editor, http://id.loc.gov/vocabulary/relators/edt)
Format:	Electronic eBook
Language:	English
Published:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2002.
Edition:	1st ed. 2002.
Series:	Lecture Notes in Computer Science, 2267
Subjects:	Software engineering. Computer logic. Mathematical logic. Computer science-Mathematics. Software Engineering/Programming and Operating Systems. Logics and Meanings of Programs. Mathematical Logic and Formal Languages. Symbolic and Algebraic Manipulation. Software Engineering.
Online Access:	Full Text via HEAL-Link

Similar Items

Recent Trends in Algebraic Development Techniques 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002, Revised Selected Papers /
Published: (2003)

Algebraic Methodology and Software Technology 10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004, Proceedings /
Published: (2004)

Algebraic Methodology and Software Technology 7th International Conference, AMAST'98, Amazonia, Brazil, January 4-8, 1999, Proceedings /
Published: (1999)

Programming Languages and Systems 10th European Symposium on Programming, ESOP 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001 Proceedings /
Published: (2001)

Logic for Programming, Artificial Intelligence, and Reasoning 8th International Conference, LPAR 2001, Havana, Cuba, December 3-7, 2001, Proceedings /
Published: (2001)

Foundations of Software Science and Computation Structures 4th International Conference, FOSSACS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001, Proceedings /
Published: (2001)

ZB 2000: Formal Specification and Development in Z and B First International Conference of B and Z Users York, UK, August 29 - September 2, 2000 Proceedings /
Published: (2000)

ZUM '98: The Z Formal Specification Notation 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998, Proceedings /
Published: (1998)

Semantics, Applications, and Implementation of Program Generation Second International Workshop, SAIG 2001, Florence, Italy, September 6, 2001. Proceedings /
Published: (2001)

ZB 2003: Formal Specification and Development in Z and B Third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003, Proceedings /
Published: (2003)

Automated Reasoning First International Joint Conference, IJCAR 2001 Siena, Italy, June 18-23, 2001 Proceedings /
Published: (2001)

Static Analysis 8th International Symposium, SAS 2001, Paris, France, July 16-18, 2001. Proceedings /
Published: (2001)

Principles and Practice of Constraint Programming - CP 2001 7th International Conference, CP 2001, Paphos, Cyprus, November 26 - December 1, 2001, Proceedings /
Published: (2001)

FST TCS 2001: Foundations of Software Technology and Theoretical Computer Science 21st Conference, Bangalore, India, December 13-15, 2001, Proceedings /
Published: (2001)

Compiler Construction 10th International Conference, CC 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001 Proceedings /
by: Wilhelm, Reinhard, et al.
Published: (2001)

Abstraction, Reformulation, and Approximation 4th International Symposium, SARA 2000 Horseshoe Bay, USA, July 26-29, 2000 Proceedings /
Published: (2000)

Theoretical Aspects of Computer Software Third International Symposium, TACS'97, Sendai, Japan, September 23 - 26, 1997, Proceedings /
Published: (1997)

Automated Deduction - CADE-16 16th International Conference on Automated Deduction, Trento, Italy, July 7-10, 1999, Proceedings /
Published: (1999)

Formal Methods and Software Engineering 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003, Proceedings /
Published: (2003)

FME 2003: Formal Methods International Symposium of Formal Methods Europe. Pisa Italy, September 8-14, 2003, Proceedings /
Published: (2003)

Programming Languages and Systems 7th European Symposium on Programming, ESOP'98, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings /
Published: (1998)

Mathematics of Program Construction 5th International Conference, MPC 2000 Ponte de Lima, Portugal, July 3-5, 2000 Proceedings /
Published: (2000)

Applied Formal Methods - FM-Trends 98 International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7-9, 1998, Proceedings /
Published: (1999)

From Object-Orientation to Formal Methods Essays in Memory of Ole-Johan Dahl /
Published: (2004)

Programming Languages and Systems 11th European Symposium on Programming, ESOP 2002, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8-12, 2002. Proceedings /
Published: (2002)

Computer Aided Verification 11th International Conference, CAV'99, Trento, Italy, July 6-10, 1999, Proceedings /
Published: (1999)

Computer Aided Verification 10th International Conference, CAV'98, Vancouver, BC, Canada, June 28-July 2, 1998, Proceedings /
Published: (1998)

Theorem Proving in Higher Order Logics 11th International Conference, TPHOLs'98, Canberra, Australia, September 27 - October 1, 1998, Proceedings /
Published: (1998)

FME 2001: Formal Methods for Increasing Software Productivity International Symposium of Formal Methods Europe, Berlin, Germany, March 12-16, 2001, Proceedings /
Published: (2001)

Rewriting Techniques and Applications 11th International Conference, RTA 2000, Norwich, UK, July 10-12, 2000 Proceedings /
Published: (2000)

Logic Based Program Synthesis and Transformation 11th International Workshop, LOPSTR 2001, Paphos, Cyprus, November 28-30, 2001. Selected Papers /
Published: (2002)

Theoretical Aspects of Computer Software 4th International Symposium, TACS 2001, Sendai, Japan, October 29-31, 2001. Proceedings /
Published: (2001)

Foundations of Software Science and Computation Structures 5th International Conference, FOSSACS 2002. Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8-12, 2002, Proceedings /
Published: (2002)

Abstract State Machines - Theory and Applications International Workshop, ASM 2000 Monte Verita, Switzerland, March 19-24, 2000 Proceedings /
Published: (2000)

Logic for Programming, Artificial Intelligence, and Reasoning 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003, Proceedings /
Published: (2003)

Foundations of Software Science and Computation Structures Second International Conference, FOSSACS'99, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999, Proceedings /
Published: (1999)

Algebraic and Coalgebraic Methods in the Mathematics of Program Construction International Summer School and Workshop, Oxford, UK, April 10-14, 2000, Revised Lectures /
Published: (2002)

Formal Methods at the Crossroads. From Panacea to Foundational Support 10th Anniversary Colloquium of UNU/IIST, the International Institute for Software Technology of The United Nations University, Lisbon, Portugal, March 18-20, 2002, Revised Papers /
Published: (2003)

Algebraic Methodology and Software Technology 9th International Conference, AMAST 2002, Saint-Gilles-les- Bains, Reunion Island, France, September 9-13, 2002. Proceedings /
Published: (2002)

Theorem Proving in Higher Order Logics 14th International Conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 2001. Proceedings /
Published: (2001)

Βιβλιοθήκη & Κέντρο Πληροφόρησης | Πανεπιστήμιο Πατρών