Recent Trends in Algebraic Development Techniques 12th International Workshop, WADT '97, Tarquinia, Italy, June 3-7, 1997, Selected Papers /

Recent Trends in Algebraic Development Techniques 12th International Workshop, WADT '97, Tarquinia, Italy, June 3-7, 1997, Selected Papers /

This book constitutes the strictly refereed post-workshop proceedings of the 12th International Workshop on Algebraic Development Techniques, WADT '98, held in Tarquinia, Italy, in June 1997.This book presents, besides three invited surveys, 21 carefully revised full papers selected from 40 pre...

Πλήρης περιγραφή

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή:	SpringerLink (Online service)
Άλλοι συγγραφείς:	Parisi-Presicce, Francesco (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
Μορφή:	Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:	English
Έκδοση:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1998.
Έκδοση:	1st ed. 1998.
Σειρά:	Lecture Notes in Computer Science, 1376
Θέματα:	Computers. Algebra. Software engineering. Programming languages (Electronic computers). Computer logic. Theory of Computation. Software Engineering/Programming and Operating Systems. Software Engineering. Programming Languages, Compilers, Interpreters. Logics and Meanings of Programs.
Διαθέσιμο Online:	Full Text via HEAL-Link

Παρόμοια τεκμήρια

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

Process Algebra and Probabilistic Methods. Performance Modelling and Verification Joint International Workshop, PAPM-PROBMIV 2001, Aachen, Germany, September 12-14, 2001. Proceedings /
Έκδοση: (2001)

Process Algebra and Probabilistic Methods: Performance Modeling and Verification Second Joint International Workshop PAPM-PROBMIV 2002, Copenhagen, Denmark, July 25-26, 2002 Proceedings /
Έκδοση: (2002)

Integrated Formal Methods Third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002. Proceedings. /
Έκδοση: (2002)

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 /
Έκδοση: (2002)

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

Tools and Algorithms for the Construction of Analysis of Systems 5th International Conference, TACAS'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 /
Έκδοση: (1999)

FST TCS 2001: Foundations of Software Technology and Theoretical Computer Science 21st Conference, Bangalore, India, December 13-15, 2001, Proceedings /
Έκδοση: (2001)

FME 2002: Formal Methods - Getting IT Right International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002 Proceedings /
Έκδοση: (2002)

Static Analysis 6th International Symposium, SAS'99, Venice, Italy, September 22-24, 1999, Proceedings /
Έκδοση: (1999)

Static Analysis 5th International Symposium, SAS'98, Pisa, Italy, September 14-16, 1998, Proceedings /
Έκδοση: (1998)

Integrated Formal Methods Second International Conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000 Proceedings /
Έκδοση: (2000)

Recent Trends in Algebraic Development Techniques 13th International Workshop, WADT'98 Lisbon, Portugal, April 2-4, 1998 Selected Papers /
Έκδοση: (1999)

Interacting Code Motion Transformations: Their Impact and Their Complexity
ανά: Rüthing, Oliver, κ.ά.
Έκδοση: (1998)

Recent Trends in Algebraic Development Techniques 14th International Workshop, WADT '99, Chateau de Bonas, September 15-18, 1999 Selected Papers /
Έκδοση: (2000)

CONCUR 2001 - Concurrency Theory 12th International Conference, Aalborg, Denmark, August 20-25, 2001 Proceedings /
Έκδοση: (2001)

Foundations of Software Science and Computation Structures First International Conference, FoSSaCS'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 /
Έκδοση: (1998)

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 /
Έκδοση: (2001)

FME 2003: Formal Methods International Symposium of Formal Methods Europe. Pisa Italy, September 8-14, 2003, Proceedings /
Έκδοση: (2003)

Semantics, Applications, and Implementation of Program Generation Second International Workshop, SAIG 2001, Florence, Italy, September 6, 2001. Proceedings /
Έκδοση: (2001)

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 /
Έκδοση: (1998)

Mathematics of Program Construction 5th International Conference, MPC 2000 Ponte de Lima, Portugal, July 3-5, 2000 Proceedings /
Έκδοση: (2000)

Applied Formal Methods - FM-Trends 98 International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7-9, 1998, Proceedings /
Έκδοση: (1999)

From Object-Orientation to Formal Methods Essays in Memory of Ole-Johan Dahl /
Έκδοση: (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 /
Έκδοση: (2002)

Verification, Model Checking, and Abstract Interpretation Third International Workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002, Revised Papers /
Έκδοση: (2002)

Abstract State Machines 2003: Advances in Theory and Practice 10th International Workshop, ASM 2003, Taormina, Italy, March 3-7, 2003. Proceedings /
Έκδοση: (2003)

Foundations of Software Science and Computational Structures 6th International Conference, FOSSACS 2003 Held as Part of the Joint European Conference on Theory and Practice of Software , ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings /
Έκδοση: (2003)

FM'99 - Formal Methods World Congress on Formal Methods in the Developement of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume I /
Έκδοση: (1999)

FM'99 - Formal Methods World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 Proceedings, Volume II /
Έκδοση: (1999)

Types for Proofs and Programs Second International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24-28, 2002, Selected Papers /
Έκδοση: (2003)

Principles and Practice of Constraint Programming - CP97 Third International Conference, CP97, Linz, Austria, October 29 - November 1, 1997 /
Έκδοση: (1997)

FME '97 Industrial Applications and Strengthened Foundations of Formal Methods 4th International Symposium of Formal Methods Europe, Graz, Austria, September 15-19, 1997. Proceedings /
Έκδοση: (1997)

Theorem Proving in Higher Order Logics 14th International Conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 2001. Proceedings /
Έκδοση: (2001)

Theorem Proving in Higher Order Logics 13th International Conference, TPHOLs 2000 Portland, OR, USA, August 14-18, 2000 Proceedings /
Έκδοση: (2000)

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 /
Έκδοση: (1999)

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 /
Έκδοση: (2001)

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 /
Έκδοση: (2003)

Fundamental Approaches to Software Engineering Third International Conference, FASE 2000 Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 - April 2, 2000 Proceedings /
Έκδοση: (2000)

Formal Methods for Software Architectures Third International School on Formal Methods for the Design of Computer, Communication and Software Systems: Software Architectures, SFM 2003, Bertinoro, Italy, September 22-27, 2003, Advanced Lectures /
Έκδοση: (2003)

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