Cover Image

Foundations of software science and computational structures : 10th international conference, FOSSACS 2007, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007 : proceedings /

Show other versions (5)

Bibliographic Details
Corporate Authors:	FOSSACS (Conference) Braga, Portugal), SpringerLink (Online service), ETAPS (Conference)
Other Authors:	Seidl, Helmut
Format:	Conference Proceeding eBook
Language:	English
Published:	Berlin ; New York : Springer, [2007]
Series:	Lecture notes in computer science. 4423.
Subjects:	Computer software > Development > Congresses. Logic, Symbolic and mathematical > Congresses. System analysis > Congresses. Electronic books.
Online Access:	Connect to the full text of this electronic book

Similar Items

Tools and algorithms for the construction and analysis of systems : 13th international conference, TACAS 2007, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24-April 1, 2007 : proceedings /
Published: (2007)

Logic, language, information, and computation : 14th international workshop, WoLLIC 2007, Rio de Janeiro, Brazil, July 2-5, 2007 : proceedings /
Published: (2007)

Foundations of software science and computational structures : 12th International Conference, FOSSACS 2009, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009, proceedings /
Published: (2009)

Foundations of software science and computational structures : 11th international conference, FOSSACS 2008, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008 : proceedings /
Published: (2008)

Logical foundations of computer science : international symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007 : proceedings /
Published: (2007)

Logic and its applications : 4th Indian Conference, ICLA 2011, Delhi, India, January 5-11, 2011 : proceedings /
Published: (2011)

Aspects of mathematical logic : lectures given at the Centro internazionale matematico estivo (C.I.M.E.) held in Varenna (Como), Italy, September 9-17, 1968 /
Published: (2010)

Models, algebras, and proofs : selected papers of the X Latin American Symposium on Mathematical Logic held in Bogotá /
Published: (1999)

Logic, language, information and computation : 18th international workshop, WoLLIC 2011, Philadelphia, PA, USA, proceedings /
Published: (2011)

Logic, language, information and computation : 15th international workshop, WoLLIC 2008, Edinburgh, UK, July 1-4, 2008 : proceedings /
Published: (2008)

Logic, language, information and computation : 16th International Workshop, WoLLIC 2009, Tokyo, Japan, June 21-24, 2009 : proceedings /
Published: (2009)

Tools and algorithms for the construction and analysis of systems : 14th International Conference, TACAS 2008, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008 : proceedings /
Published: (2008)

Frontiers of combining systems : 6th international symposium, FroCoS 2007, Liverpool, UK, September 10-12, 2007 : proceedings /
Published: (2007)

Logic and the foundations of game and decision theory - LOFT 8 : 8th international conference, Amsterdam, The Netherlands, July 3-5, 2008 : revised selected papers /
Published: (2010)

Automated deduction -- CADE-21 : 21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007 : proceedings /
Published: (2007)

Logical foundations of computer science : International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 2009 : Proceedings /
Published: (2009)

Logics in artificial intelligence : 12th European conference, JELIA 2010, Helsinki, Finland, September 13-15, 2010 : proceedings /
Published: (2010)

Logics in artificial intelligence : 11th European conference, JELIA 2008, Dresden, Germany, September 28 - October 1, 2008 : proceedings /
Published: (2008)

Foundations of software science and computation structures : 9th international conference, FOSSACS 2006, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25-31, 2006 : proceedings /
Published: (2006)

Foundations of software science and computation structures : 8th international conference, FOSSACS 2005, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005 : proceedings /
Published: (2005)

Towards mathematical philosophy : papers from the Studia Logica Conference Trends in Logic IV /
Published: (2008)

Logic and its applications : Third Indian Conference, ICLA 2009, Chennai, India, January 7-11, 2009, proceedings /
Published: (2009)

Automated deduction--CADE-23 : 23rd International Conference on Automated Deduction, Wrocław, Poland, July 31-August 5, 2011 : proceedings /
Published: (2011)

Grammatical inference: algorithms and applications : 9th international colloquium, ICGI 2008, Saint-Malo, France, September 22-24, 2008 ; proceedings /
Published: (2008)

Frontiers of Combining Systems : 7th International Symposium, FroCoS 2009, Trento, Italy, September 16-18, 2009. Proceedings /
Published: (2009)

Grammatical inference : theoretical results and applications : 10th international colloquium, ICGI 2010, Valencia, Spain, September 13-16, 2010 : proceedings /
Published: (2010)

Software process dynamics and agility : International Conference on Software Process, ICSP 2007, Minneapolis, MN, USA, May 19-20, 2007 : proceedings /
Published: (2007)

Logics in artificial intelligence : 10th European conference, JELIA 2006, Liverpool, UK, September 13-15, 2006 : proceedings /
Published: (2006)

Towards mechanized mathematical assistants : 14th symposium, Calculemus 2007, 6th international conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007 : proceedings /
Published: (2007)

Software process improvement : 14th European conference, EuroSPI 2007, Potsdam, Germany, September 26-28, 2007 : proceedings /
Published: (2007)

Requirements engineering, foundation for software quality : 13th international working conference, REFSQ 2007, Trondheim, Norway, June 11-12, 2007 : proceedings /
Published: (2007)

Balancing agility and formalism in software engineering : Second IFIP TC 2 Central and East European Conference on Software Engineering Techniques, CEE-SET 2007, Poznan, Poland, October 10-12, 2007 : revised selected papers /
Published: (2008)

Giuseppe Peano between mathematics and logic : proceeding of the International Conference in honour of Giuseppe Peano on the 150th anniversary of his birth and the centennial of the Formulario Mathematico, Turin (Italy), October 2-3, 2008 /
Published: (2011)

Tools and algorithms for the construction and analysis of systems : 15th international conference, TACAS 2009, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009 : proceedings /
Published: (2009)

Tools and algorithms for the construction and analysis of systems : 16th International Conference, TACAS 2010, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010 ; proceedings /
Published: (2010)

Tools and algorithms for the construction and analysis of systems : 17th International Conference, TACAS 2011, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26-April 3, 2011, Proceedings /
Published: (2011)

Logic and theory of algorithms : 4th Conference on Computability in Europe, CiE 2008, Athens, Greece, June 15-20, 2008 : proceedings /
Published: (2008)

Foundations of computer software : future trends and techniques for development : 15th Monterey Workshop 2008, Budapest, Hungary, September 24-26, 2008 : revised selected papers /
Published: (2010)

Symbolic-numeric computation /
by: Wang, Dongming, 1961-
Published: (2007)

Software and data technologies /
Published: (2009)