Algebraic Methodology and Software Technology 8th International Conference, AMAST 2000 Iowa City, Iowa, USA, May 20-27, 2000 Proceedings /

Algebraic Methodology and Software Technology 8th International Conference, AMAST 2000 Iowa City, Iowa, USA, May 20-27, 2000 Proceedings /

The AMAST movement was initiated in 1989 with the First International C- ference on Algebraic Methodology and Software Technology (AMAST), held on May 21{23in Iowa City, Iowa,and aimed at setting the development of software technology on a mathematical basis. The virtue of the software technology en...

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

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή:	SpringerLink (Online service)
Άλλοι συγγραφείς:	Rus, Teodor (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
Μορφή:	Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:	English
Έκδοση:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2000.
Έκδοση:	1st ed. 2000.
Σειρά:	Lecture Notes in Computer Science, 1816
Θέματα:	Computers. Data structures (Computer science). Algebra. Computer logic. Software engineering. Mathematical logic. Theory of Computation. Data Structures and Information Theory. Logics and Meanings of Programs. Software Engineering. Mathematical Logic and Formal Languages.
Διαθέσιμο 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)

Teaching Formal Methods CoLogNET/FME Symposium, TFM 2004, Ghent, Belgium, November 18-19, 2004. Proceedings /
Έκδοση: (2004)

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)

Generic Programming International Seminar on Generic Programming Dagstuhl Castle, Germany, April 27 - May 1, 1998, Selected Papers /
Έκδοση: (2000)

Developments in Language Theory 22nd International Conference, DLT 2018, Tokyo, Japan, September 10-14, 2018, Proceedings /
Έκδοση: (2018)

Multiset Processing Mathematical, Computer Science, and Molecular Computing Points of View /
Έκδοση: (2001)

Beyond Two: Theory and Applications of Multiple-Valued Logic
Έκδοση: (2003)

Relational Methods in Computer Science 6th International Conference, RelMiCS 2001 and 1st Workshop of COST Action 274 TARSKI Oisterwijk, The Netherlands, October 16-21, 2001 Revised Papers /
Έκδοση: (2002)

Theoretical Computer Science 8th Italian Conference, ICTCS 2003, Bertinoro, Italy, October 13-15, 2003, Proceedings /
Έκδοση: (2003)

Theoretical Computer Science 7th Italian Conference, ICTCS 2001, Torino, Italy, October 4-6, 2001. Proceedings /
Έκδοση: (2001)

Algebraic Methodology and Software Technology 6th International Conference, AMAST '97, Sydney, Australia, Dezember 13-17, 1997. Proceedings /
Έκδοση: (1997)

Programs as Data Objects Second Symposium, PADO 2001, Aarhus, Denmark, May 21-23, 2001, Proceedings /
Έκδοση: (2001)

Logic and Its Applications 8th Indian Conference, ICLA 2019, Delhi, India, March 1-5, 2019, Proceedings /
Έκδοση: (2019)

Algebraic Methodology and Software Technology 10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004, Proceedings /
Έκδοση: (2004)

Algebraic Methodology and Software Technology 7th International Conference, AMAST'98, Amazonia, Brazil, January 4-8, 1999, Proceedings /
Έκδοση: (1999)

Recent Trends in Algebraic Development Techniques 12th International Workshop, WADT '97, Tarquinia, Italy, June 3-7, 1997, Selected Papers /
Έκδοση: (1998)

Conceptual Modeling -- ER 2003 22nd International Conference on Conceptual Modeling, Chicago, IL, USA, October 13-16, 2003, Proceedings /
Έκδοση: (2003)

Theorem Proving in Higher Order Logics 10th International Conference, TPHOLs'97, Murray Hill, NJ, USA, August 19-22, 1997, Proceedings /
Έκδοση: (1997)

Computer Aided Verification 11th International Conference, CAV'99, Trento, Italy, July 6-10, 1999, Proceedings /
Έκδοση: (1999)

Computer Aided Verification 10th International Conference, CAV'98, Vancouver, BC, Canada, June 28-July 2, 1998, Proceedings /
Έκδοση: (1998)

Conceptual Modeling - ER '98 17th International Conference on Conceptual Modeling, Singapore, November 16-19, 1998, Proceedings /
Έκδοση: (1998)

Database Theory - ICDT '97 6th International Conference, Delphi, Greece, January 8-10, 1997. Proceedings /
Έκδοση: (1997)

Database Theory - ICDT 2003 9th International Conference, Siena, Italy, January 8-10, 2003, Proceedings /
Έκδοση: (2003)

Database Theory - ICDT'99 7th International Conference, Jerusalem, Israel, January 10-12, 1999, Proceedings /
Έκδοση: (1999)

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

Computer Aided Verification 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003, Proceedings /
Έκδοση: (2003)

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

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

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

Theoretical Aspects of Computer Software Third International Symposium, TACS'97, Sendai, Japan, September 23 - 26, 1997, Proceedings /
Έκδοση: (1997)

Conceptual Modeling - ER 2004 23rd International Conference on Conceptual Modeling, Shanghai, China, November 8-12, 2004. Proceedings /
Έκδοση: (2004)

Euro-Par 2019: Parallel Processing 25th International Conference on Parallel and Distributed Computing, Göttingen, Germany, August 26-30, 2019, Proceedings /
Έκδοση: (2019)

STACS 2000 17th Annual Symposium on Theoretical Aspects of Computer Science Lille, France, February 17-19, 2000 Proceedings /
Έκδοση: (2000)

Logical Foundations of Computer Science 4th International Symposium, LFCS'97, Yaroslavl, Russia, July, 6 - 12, 1997, Proceedings /
Έκδοση: (1997)

Artificial Intelligence and Symbolic Computation International Conference AISC'98, Plattsburgh, New York, USA, September 16-18, 1998, Proceedings /
Έκδοση: (1998)

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

Principles and Practice of Constraint Programming 24th International Conference, CP 2018, Lille, France, August 27-31, 2018, Proceedings /
Έκδοση: (2018)

Computer Science - Theory and Applications 14th International Computer Science Symposium in Russia, CSR 2019, Novosibirsk, Russia, July 1-5, 2019, Proceedings /
Έκδοση: (2019)

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)

Abstraction, Reformulation, and Approximation 5th International Symposium, SARA 2002, Kananaskis, Alberta, Canada, August 2-4, 2002, Proceedings /
Έκδοση: (2002)

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