Cover Image

ECOOP 2003 - Object-Oriented Programming : 17th European Conference, Darmstadt, Germany, July 21-25, 2003. Proceedings /

Show other versions (1)

Bibliographic Details
Main Author:	Cardelli, Luca
Corporate Author:	SpringerLink (Online service)
Format:	eBook
Language:	English
Published:	Berlin, Heidelberg : Springer Berlin Heidelberg, 2003.
Series:	Lecture notes in computer science ; 2743.
Subjects:	Computer Communication Networks. Computer science. Database management. Logic design. Software engineering. Computer Appl. in Administrative Data Processing. Computers and Society. Logics and Meanings of Programs. Software Engineering/Programming and Operating Systems. Electronic books.
Online Access:	Connect to the full text of this electronic book

Similar Items

Extreme Programming and Agile Methods - XP/Agile Universe 2003 : Third XP and Second Agile Universe Conference, New Orleans, LA, USA, August 10-13, 2003, Proceedings /
by: Maurer, F. (Frank)
Published: (2003)

Formal methods for components and objects : 9th international symposium, FMCO 2010, Graz, Austria, November 29-December 1, 2010 : revised papers /
Published: (2011)

ECOOP 2008 -- object-oriented programming : 22nd European Conference, Paphos, Cyprus, July 7-11, 2008 : proceedings /
Published: (2008)

Concise Guide to Software Engineering : From Fundamentals to Application Methods /
by: O'Regan, Gerard
Published: (2022)

Tools and Algorithms for the Construction and Analysis of Systems : 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings, Part II /
Published: (2022)

Tools and Algorithms for the Construction and Analysis of Systems : 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part II /
Published: (2019)

Logic based program synthesis and transformation 13th international symposium, LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003 : revised selected papers /
Published: (2004)

Agent-oriented software engineering XI : 11th International Workshop, AOSE 2010, Toronto, Canada, May 10-11, 2010 : revised selected papers /
Published: (2011)

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

Specification and Analysis of Concurrent Systems : the COSY Approach /
by: Janicki, Ryszard
Published: (1992)

ECOOP 99 Object-Oriented Programming : 13th European Conference Lisbon, Portugal, June 1418, 1999 Proceedings /
Published: (1999)

Multiagent system technologies : 9th German Conference, MATES 2011, Berlin, Germany, October 6-7, 2011 : proceedings /
Published: (2011)

TAPSOFT '89 : proceedings of the International Joint Conference on Theory and Practice of Software Development, Barcelona, Spain, March 13-17, 1989 /
Published: (1989)

Reachability problems : 5th International Workshop, RP 2011, Genoa, Italy, September 28-30, 2011. Proceedings /
Published: (2011)

ECOOP '96 - Object-Oriented Programming : 10th European Conference, Linz, Austria, July 8-12, 1996. Proceedings /
by: Cointe, Pierre
Published: (1996)

Computer-Aided Verification : 2nd Internatonal Conference, CAV '90, New Brunswick, NJ, USA, June 18-21, 1990. Proceedings /
by: Clarke, Edmund M., Jr. (Edmund Melson), 1945-2020
Published: (1991)

Logic and Algebra of Specification /
by: Bauer, Friedrich L.
Published: (1993)

The Temporal Logic of Reactive and Concurrent Systems : Specification /
by: Manna, Zohar
Published: (1992)

Petri Nets : An Introduction /
by: Reisig, Wolfgang
Published: (1985)

High-level Petri Nets : Theory and Application /
by: Jensen, Kurt
Published: (1991)

Formal modeling : actors, open systems, biological systems ; essays dedicated to Carolyn Talcott on the occasion of her 70th birthday /
Published: (2011)

Computer Aided Verification : 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II /
Published: (2019)

Robust Argumentation Machines : First International Conference, RATIO 2024, Bielefeld, Germany, June 5-7, 2024, Proceedings /
Published: (2024)

Frontiers of Combining Systems : 14th International Symposium, FroCoS 2023, Prague, Czech Republic, September 20-22, 2023, Proceedings /
Published: (2023)

Automated Reasoning : 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings /
Published: (2022)

Automated Reasoning : 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part II /
Published: (2024)

Automated Reasoning : 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part I /
Published: (2024)

Elements of Distributed Algorithms : Modeling and Analysis with Petri Nets /
by: Reisig, Wolfgang
Published: (1998)

ECOOP '91 : European Conference on Object-Oriented Programming, Geneva, Switzerland, July 15-19, 1991 : proceedings /
Published: (1991)

Skarbek software directory : APPLE computer.
Published: (1981)

Machine Intelligence and Emerging Technologies : First International Conference, MIET 2022, Noakhali, Bangladesh, September 23-25, 2022, Proceedings, Part I /
Published: (2023)

Testing software and systems : 23rd IFIP WG 6.1 International Conference, ICTSS 2011, Paris, France, November 7-10, 2011, proceedings /
Published: (2011)

Empirical software engineering and verification : International Summer Schools, LASER 2008-2010, Elba Island, Italy : revised tutorial lectures /
Published: (2011)

Automated technology for verification and analysis : 9th international symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011 : proceedings /
Published: (2011)

Logic and specification : extending VDM-SL for advanced formal specification /
by: Middelburg, Cornelis A.
Published: (1993)

Algebraic foundations in computer science : essays dedicated to Symeon Bozapalidis on the occasion of his retirement /
Published: (2011)

Programming with higher-order logic /
by: Miller, Dale (Dale A.)
Published: (2012)

Free software for your Apple /
by: Heller, David
Published: (1984)

The Addison-Wesley Book of Apple software, 1984 /
Published: (1984)

Object oriented software technologies in telecommunications : from theory to practice /
Published: (2000)