Verified software: theories, tools, experiments : 4th international conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012. Proceedings /

Verified software: theories, tools, experiments : 4th international conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012. Proceedings /

<p>This volume contains the proceedings of the 4th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2012, held in Philadelphia, PA, USA, in January 2012.</p><p>The 20 revised full papers presented together with 2 invited talks and 2 tutorials w...

Полное описание

Сохранить в:

Библиографические подробности
Соавтор:	SpringerLink (Online service)
Другие авторы:	Müller, Peter, Podelski, Andreas, Joshi, Rajeev
Формат:	eКнига
Язык:	English
Опубликовано:	Berlin, Heidelberg Springer Berlin Heidelberg 2012.
Серии:	Lecture Notes in Computer Science, 7152
Предметы:	Computer science. Software engineering. Logic design. Artificial intelligence.
Online-ссылка:	Click here to view the full text content
Метки:	Добавить метку Нет меток, Требуется 1-ая метка записи!

Схожие документы

Verified software: theories, tools, experiments third international conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010. Proceedings /
Опубликовано: (2010)

Verified software: theories, tools, experiments : 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papers /
Опубликовано: (2014)

Verified software: theories, tools and experiments : 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers /
Опубликовано: (2014)

Practical aspects of declarative languages : 14th international symposium, PADL 2012, Philadelphia, PA, USA, January 23-24, 2012. Proceedings /
Опубликовано: (2012)

Foundations of software science and computational structures : 15th International Conference, FOSSACS 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 /
Опубликовано: (2012)

Design of Experiments for Reinforcement Learning /
по: Gatti, Christopher
Опубликовано: (2015)

Hardware and software : verification and testing : 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers /
Опубликовано: (2013)

Algorithmic learning theory : 23rd International conference, ALT 2012, Lyon, France, October 29-31, 2012. Proceedings /
Опубликовано: (2012)

Theory and applications of satisfiability testing - SAT 2012 15th International Conference, Trento, Italy, June 17-20, 2012. Proceedings /
Опубликовано: (2012)

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 /
Опубликовано: (2012)

Software engineering and formal methods 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings /
Опубликовано: (2012)

Software reuse for dynamic systems in the cloud and beyond : 14th International Conference on Software Reuse, ICSR 2015, Miami, FL, USA, January 4-6, 2015. Proceedings /
Опубликовано: (2014)

Inductive logic programming : 22nd International Conference, ILP 2012, Dubrovnik, Croatia, September 17-19, 2012, Revised Selected Papers /
Опубликовано: (2013)

Logical tools for handling change in agent-based systems /
по: Gabbay, Dov M., 1945-
Опубликовано: (2010)

Computer aided verification : 24th International conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings /
Опубликовано: (2012)

Logic programming 25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009. Proceedings /
Опубликовано: (2009)

Rigid flexibility : the logic of intelligence /
по: Wang, Pei
Опубликовано: (2006)

Proof theory for fuzzy logics
по: Metcalfe, George
Опубликовано: (2009)

Rules on the web. from theory to applications : 8th International Symposium, RuleML 2014, Co-located with the 21st European Conference on Artificial Intelligence, ECAI 2014, Prague, Czech Republic, August 18-20, 2014. Proceedings /
Опубликовано: (2014)

Automated reasoning : 6th International joint conference, IJCAR 2012, Manchester, UK, June 26-29, 2012. Proceedings /
Опубликовано: (2012)

Language and automata theory and applications : 6th International conference, LATA 2012, A Coruña, Spain, March 5-9, 2012. Proceedings /
Опубликовано: (2012)

Functional and logic programming 11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012. Proceedings /
Опубликовано: (2012)

Interactive theorem proving third international conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. proceedings /
по: Beringer, Lennart
Опубликовано: (2012)

Recognizing variable environments : the theory of cognitive prism /
по: Dong, Tiansi
Опубликовано: (2012)

Unconventional computation and natural computation 11th International Conference, UCNC 2012, Orléan, France, September 3-7, 2012. Proceedings /
Опубликовано: (2012)

Proceedings of the international conference on information systems design and intelligent applications 2012 (INDIA 2012) held in Visakhapatnam, India, January 2012 /
Опубликовано: (2012)

Computational logic in multi-agent systems 13th International Workshop, CLIMA XIII, Montpellier, France, August 27-28, 2012. Proceedings /
Опубликовано: (2012)

Declarative agent languages and technologies X : 10th International Workshop, DALT 2012, Valencia, Spain, June 4, 2012, Revised Selected Papers /
Опубликовано: (2013)

Logics in artificial intelligence 13th European Conference, JELIA 2012, Toulouse, France, September 26-28, 2012. Proceedings /
Опубликовано: (2012)

Language and automata theory and applications 4th international conference, LATA 2010, Trier, Germany, May 24-28, 2010. Proceedings /
Опубликовано: (2010)

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 /
Опубликовано: (2010)

Abstraction, reformulation and approximation / 6th International Symposium, SARA 2005, Airth Castle, Scotland, UK, July 26-29, 2005, Proceedings

Verification, model checking, and abstract interpretation : 13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012. Proceedings /
Опубликовано: (2012)

Human-centered software engineering : 4th International Conference, HCSE 2012, Toulouse, France, October 29-31, 2012. Proceedings /
Опубликовано: (2012)

Practical aspects of declarative languages 13th International Symposium, PADL 2011, Austin, TX, USA, January 24-25, 2011. Proceedings /
Опубликовано: (2011)

Theory and practice of computation : 2nd Workshop on Computation: Theory and Practice, Manila, The Philippines, September 2012, Proceedings /
Опубликовано: (2013)

Model-based methodologies for pervasive and embedded software : 8th International Workshop, MOMPES 2012, Essen, Germany, September 4, 2012. Revised Papers /
Опубликовано: (2013)

Deontic logic in computer science 11th International Conference, DEON 2012, Bergen, Norway, July 16-18, 2012. Proceedings /
Опубликовано: (2012)

Logic for programming, artificial intelligence, and reasoning : 18th International Conference, LPAR-18, Mérida, Venezuela, March 11-15, 2012. Proceedings /
Опубликовано: (2012)

Algebraic methodology and software technology 13th International Conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010. Revised Selected Papers /
Опубликовано: (2011)