Omslagsbild

Tools and Algorithms for the Construction and Analysis of Systems 17th International Conference, TACAS 2011, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26--April 3, 2011, Proceedings /

This book constitutes the refereed proceedings of the 17th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2011, held in Saarbrücken, Germany, March 26—April 3, 2011, as part of ETAPS 2011, the European Joint Conferences on Theory and Practice of...

Full beskrivning

Sparad:

Bibliografiska uppgifter
Institutionell upphovsman:	SpringerLink (Online service)
Övriga upphovsmän:	Abdulla, Parosh Aziz. (Utgivare, redaktör, sammanställare, http://id.loc.gov/vocabulary/relators/edt), Leino, K. Rustan M. (Utgivare, redaktör, sammanställare, http://id.loc.gov/vocabulary/relators/edt)
Materialtyp:	Elektronisk E-bok
Språk:	English
Publicerad:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011.
Upplaga:	1st ed. 2011.
Serie:	Theoretical Computer Science and General Issues ; 6605
Ämnen:	Software engineering. Computer logic. Computer communication systems. Programming languages (Electronic computers). Artificial intelligence. Computer programming. Software Engineering. Logics and Meanings of Programs. Computer Communication Networks. Programming Languages, Compilers, Interpreters. Artificial Intelligence. Programming Techniques.
Länkar:	https://doi.org/10.1007/978-3-642-19835-9
Taggar:	Lägg till en tagg Inga taggar, Lägg till första taggen!

Liknande verk

Programming Languages and Systems 20th European Symposium on Programming, ESOP 2011, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26--April 3, 2011, Proceedings /
Publicerad: (2011)

Software Engineering and Formal Methods 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011, Proceedings /
Publicerad: (2011)

Computer Aided Verification 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011, Proceedings /
Publicerad: (2011)

Interactive Theorem Proving Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011, Proceedings /
Publicerad: (2011)

Tools and Algorithms for the Construction and Analysis of Systems 18th International Conference, TACAS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 -- April 1, 2012, Proceedings /
Publicerad: (2012)

Tools and Algorithms for the Construction and Analysis of Systems 16th International Conference, TACAS 2010, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-29, 2010, Proceedings /
Publicerad: (2010)

Hardware and Software: Verification and Testing 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers /
Publicerad: (2012)

Practical Aspects of Declarative Languages 13th International Symposium, PADL 2011, Austin, TX, USA, January 24-25, 2011. Proceedings /
Publicerad: (2011)

CONCUR 2011 -- Concurrency Theory 22nd International Conference, CONCUR 2011, Aachen, Germany, September 6-9, 2011, Proceedings /
Publicerad: (2011)

Software Engineering, Business Continuity, and Education International Conferences, ASEA, DRBC and EL 2011, Held as Part of the Future Generation Information Technology Conference, FGIT 2011, in Conjunction with GDC 2011, Jeju Island, Korea, December 8-10, 2011. Proceedings /
Publicerad: (2011)

Conceptual Modeling – ER 2011 30th International Conference on Conceptual Modeling, Brussels, Belgium, October 31 - November 3, 2011. Proceedings /
Publicerad: (2011)

Computational Logic in Multi-Agent Systems 12th International Workshop, CLIMA XII, Barcelona, Spain, July 17-18, 2011, Proceedings /
Publicerad: (2011)

Software Composition 10th International Conference, SC 2011, Zurich, Switzerland, June 30 - July 1, 2011, Proceedings /
Publicerad: (2011)

Automated Reasoning with Analytic Tableaux and Related Methods 20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011, Proceedings /
Publicerad: (2011)

Certified Programs and Proofs First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011, Proceedings /
Publicerad: (2011)

Theory and Practice of Model Transformations 4th International Conference, ICMT 2011, Zurich, Switzerland, June 27-28, 2011, Proceedings /
Publicerad: (2011)

Objects, Components, Models, Patterns 49th International Conference, TOOLS 2011, Zurich, Switzerland, June 28-30, 2011, Proceedings /
Publicerad: (2011)

Formal Techniques for Distributed Systems Joint 13th IFIP WG 6.1 International Conference, FMOODS 2011, and 30th IFIP WG 6.1 International Conference, FORTE 2011, Reykjavik, Island, June 6-9, 2011, Proceedings /
Publicerad: (2011)

Logic Programming 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005, Proceedings /
Publicerad: (2005)

Logic Programming 23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007, Proceedings /
Publicerad: (2007)

Logic Programming 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings /
Publicerad: (2006)

Principles and Practice of Constraint Programming - CP 2005 11th International Conference, CP 2005, Sitges Spain, October 1-5, 2005 /
Publicerad: (2005)

Principles and Practice of Constraint Programming - CP 2006 12th International Conference, CP 2006, Nantes, France, September 25-29, 2006, Proceedings /
Publicerad: (2006)

Principles and Practice of Constraint Programming - CP 2007 13th International Conference, CP 2007, Providence, RI, USA, September 25-29, 2007, Proceedings /
Publicerad: (2007)

Reliable Software Technologies – Ada-Europe 2011 16th Ada-Europe International Conference on Reliable Software Technologies, Edinburgh, UK, June 20-24, 2011. Proceedings /
Publicerad: (2011)

Declarative Agent Languages and Technologies IX 9th International Workshop, DALT 2011, Taipei, Taiwan, May 3, 2011, Revised Selected and Invited Papers /
Publicerad: (2012)

Compiler Construction 20th International Conference, CC 2011, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26--April 3, 2011, Proceedings /
Publicerad: (2011)

Information Security 16th International Conference, ISC 2013, Dallas, Texas, November 13-15, 2013, Proceedings /
Publicerad: (2015)

Computer Aided Verification 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010, Proceedings /
Publicerad: (2010)

Software Engineering and Formal Methods 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings /
Publicerad: (2012)

Data Engineering and Management Second International Conference, ICDEM 2010, Tiruchirappalli, India, July 29-31, 2010. Revised Selected Papers /
Publicerad: (2012)

Logic-Based Program Synthesis and Transformation 19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, Revised Selected Papers /
Publicerad: (2010)

Hardware and Software: Verification and Testing 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings /
Publicerad: (2015)

Hardware and Software: Verification and Testing 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings /
Publicerad: (2013)

Hardware and Software: Verification and Testing 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014, Proceedings /
Publicerad: (2014)

ICT in Education, Research, and Industrial Applications 8th International Conference, ICTERI 2012, Kherson, Ukraine, June 6-10, 2012, Revised Selected Papers /
Publicerad: (2013)

Automated Technology for Verification and Analysis 9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011, Proceedings /
Publicerad: (2011)

Logic for Programming, Artificial Intelligence, and Reasoning 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010, Proceedings /
Publicerad: (2010)

Logic for Programming, Artificial Intelligence, and Reasoning 18th International Conference, LPAR-18, Merida, Venezuela, March 11-15, 2012, Proceedings /
Publicerad: (2012)

Foundations of Software Science and Computational Structures 14th International Conference, FOSSACS 2011, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26--April 3, 2011, Proceedings /
Publicerad: (2011)