Verification, induction, termination analysis festschrift for christoph walther on the occasion of his 60th birthday /

Verification, induction, termination analysis festschrift for christoph walther on the occasion of his 60th birthday /

Na minha lista:

Detalhes bibliográficos
Autor Corporativo:	SpringerLink (Online service)
Outros Autores:	Siegler, Simon, Wasser, Nathan
Formato:	livro electrónico
Idioma:	English
Publicado em:	Berlin, Heidelberg Springer 2010.
Colecção:	Lecture Notes in Computer Science, 6463
Assuntos:	Computer science Computer Communication Networks Software engineering Logic design Information Systems Artificial intelligence
Acesso em linha:	Click here to view the full text content
Tags:	Adicionar Tag Sem tags, seja o primeiro a adicionar uma tag!

Registos relacionados

Logic programs, norms and action : Essays in honor of Marek J. Sergot on the occasion of his 60th birthday /
Publicado em: (2012)

Hardware and software: verification and testing : 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014. Proceedings /
Publicado em: (2014)

Computer aided verification 22nd international conference, CAV 2010, Edinburgh, UK, July 15-19, 2010. Proceedings /
Publicado em: (2010)

Verification, model checking, and abstract interpretation : 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013. Proceedings /
Publicado em: (2013)

Verification, model checking, and abstract interpretation : 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings /
Publicado em: (2014)

Conceptual modelling and its theoretical foundations: Essays dedicated to bernhard thalheim on the occasion of his 60th birthday /
Publicado em: (2012)

Hardware and software : verification and testing : 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers /
Publicado em: (2013)

Hardware and software: verification and testing : 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers /
Publicado em: (2012)

Computer aided verification 21st international conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009. Proceedings /
Publicado em: (2009)

Computer aided verification (vol. # 3576) : 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings

Approaches and applications of inductive programming third international workshop, AAIP 2009, Edinburgh, UK, September 4, 2009. Revised Papers /
Publicado em: (2010)

From active data danagement to event-based systems and more papers in honor of Alejandro Buchmann on the occasion of His 60th birthday /
Publicado em: (2010)

Computer aided verification : 24th International conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings /
Publicado em: (2012)

Verification of object-oriented software. The key approach : foreword by K. Rustan M. Leino /
Publicado em: (2007)

Processes, terms and cycles: steps on the road to infinity / essays dedicated to Jan Willem Klop on the Occasion of his 60th birthday

Automated technology for verification and analysis : Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings /

Automated technology for verification and analysis 8th international symposium, ATVA 2010, Singapore, September 21-24, 2010. Proceedings /
Publicado em: (2010)

Automated technology for verification and analysis : 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings /
Publicado em: (2013)

Automated technology for verification and analysis 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012. Proceedings /
Publicado em: (2012)

Automated technology for verification and analysis : 12th International Symposium, ATVA 2014, Sydney, NSW, Australia, November 3-7, 2014, Proceedings /
Publicado em: (2014)

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 /
Publicado em: (2010)

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 /
Publicado em: (2012)

Inductive logic programming : 22nd International Conference, ILP 2012, Dubrovnik, Croatia, September 17-19, 2012, Revised Selected Papers /
Publicado em: (2013)

Inductive logic programming 21st international conference, ILP 2011, Windsor Great Park, UK, July 31 - August 3, 2011, revised selected papers /
Publicado em: (2012)

Fields of logic and computation essays dedicated to Yuri Gurevich on the occasion of his 70th Birthday /
Publicado em: (2010)

Verification of business rules programs /
Por: Berstel-Da Silva, Bruno
Publicado em: (2014)

Multiagent system technologies 8th German conference, MATES 2010, Leipzig, Germany, September 27-29, 2010. Proceedings /
Publicado em: (2010)

Theory, practice, and applications of rules on the web : 7th International Symposium, RuleML 2013, Seattle, WA, USA, July 11-13, 2013. Proceedings /
Publicado em: (2013)

Computational Logic in multi-agent systems 10th international workshop, CLIMA X, Hamburg, Germany, September 9-10, 2009, revised selected and invited papers /
Publicado em: (2010)

Software service and application engineering : Essays dedicated to bernd krämer on the occasion of his 65th birthday /
Publicado em: (2012)

Algorithms and applications essays dedicated to esko ukkonen on the occasion of His 60th Birthday /
Publicado em: (2010)

Distributed, parallel and biologically inspired systems 7th IFIP TC 10 working conference, DIPES 2010 and 3rd IFIP TC 10 international conference, BICC 2010, held as part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedings /
Publicado em: (2010)

Software engineering and formal methods 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings /
Publicado em: (2012)

Inductive logic programming : 15th International Conference, ILP 2005, Bonn, Germany, August 10-13, 2005, Proceedings

Computational logic in multi-agent systems 11th international workshop, CLIMA XI, Lisbon, Portugal, August 16-17, 2010. Proceedings /
Publicado em: (2010)

Evolvable systems: from biology to hardware 9th international conference, ICES 2010, York, UK, September 6-8, 2010. Proceedings /
Publicado em: (2010)

Agent-oriented software engineering VII : 7th International Workshop, AOSE 2006, Hakodate, Japan, May 8, 2006, Revised and Invited Papers /
Por: Padgham, Lin
Publicado em: (2007)

Graph transformations and model-driven engineering essays dedicated to manfred nagl on the occasion of his 65th birthday /
Publicado em: (2010)

Declarative agent languages and technologies VII : 7th International Workshop, DALT 2009, Budapest, Hungary, May 11, 2009. Revised Selected and Invited Papers /
Publicado em: (2010)

ICT in education, research, and industrial applications : 8th International Conference, ICTERI 2012, Kherson, Ukraine, June 6-10, 2012, Revised Selected Papers /
Publicado em: (2013)