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.

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.

Tallennettuna:

Bibliografiset tiedot
Päätekijä:	Grumberg, Orna (Tekijä)
Yhteisötekijä:	SpringerLink (Online service)
Muut tekijät:	Huth, Michael
Aineistotyyppi:	E-kirja
Kieli:	English
Julkaistu:	Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2007.
Sarja:	Lecture Notes in Computer Science, 4424
Aiheet:	Software engineering Logic design Computer software Computer Communication Networks
Linkit:	Click here to view the full text content
Tagit:	Lisää tagi Ei tageja, Lisää ensimmäinen tagi!

Samankaltaisia teoksia

Tools and algorithms for the construction and analysis of systems : 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014. Proceedings /
Julkaistu: (2014)

Tools and algorithms for the construction and analysis of systems : 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings /
Julkaistu: (2013)

Tools and algorithms for the construction and analysis of systems (vol. # 3440) 11th international conference, TACAS 2005, held as part of the joint european conference on theory and practice of software, ETAPS 2005, Ed
Tekijä: Halbwachs, Nicolas
Julkaistu: (2005)

Compiler construction : 16th International Conference, CC 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 26-30, 2007. Proceedings.
Tekijä: Krishnamurthi, Shriram
Julkaistu: (2007)

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.
Tekijä: Seidl, Helmut
Julkaistu: (2007)

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

Compiler construction (vol. # 3443) 14th international conference, CC 2005, held as part of the joint european conferences on theory and practice of Software, ETAPS 2005
Julkaistu: (2005)

Tools and algorithms for the construction and analysis of systems (vol. # 3920) : 12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006 : proceedings /
Julkaistu: (2006)

Foundations of software science and computational structures (vol. # 3441) 8th international conference, FOSSACS 2005, held as part of the joint european conferences on theory and practice of software, ETAPS 2005
Tekijä: Sassone, Vladimiro
Julkaistu: (2005)

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 /
Julkaistu: (2009)

Fundamental approaches to software engineering : 17th International Conference, FASE 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings /
Julkaistu: (2014)

Foundations of software science and computational structures 13th international conference, FOSSACS 2010,held as part of the joint european conferences on theory and practice of software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings /
Julkaistu: (2010)

Foundations of software science and computation structures : 17th International Conference, FOSSACS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings /
Julkaistu: (2014)

Fundamental approaches to software engineering (vol. # 3442) 8th international conference, FASE 2005, held as part of the joint european conferences on theory and practice of software, ETAPS 2005, Edinburgh, UK, April
Tekijä: Cerioli, Maura
Julkaistu: (2005)

Fundamental approaches to software engineering 12th international conference, FASE 2009, held as part of the joint European conferences on theory and practice of software, ETAPS 2009, York, UK, March 22-29, 2009. proceedings /
Julkaistu: (2009)

Foundations of software science and computation structures : 16th International Conference, FOSSACS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings /
Julkaistu: (2013)

Software composition : 6th International Symposium, SC 2007, Braga, Portugal, March 24-25, 2007, Revised Selected Papers /
Julkaistu: (2007)

Compiler construction 19th International Conference, CC 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings /
Julkaistu: (2010)

Fundamental approaches to software engineering : 10th international conference, FASE 2007, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007, proceeding.
Julkaistu: (2007)

Programming languages and systems : 22nd European Symposium on Programming, ESOP 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings /
Julkaistu: (2013)

Software language engineering : 4th International Conference, SLE 2011, Braga, Portugal, July 3-4, 2011, Revised Selected Papers /
Julkaistu: (2012)

Fundamental approaches to software engineering : 10th international conference, FASE 2007, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007, proceeding.
Julkaistu: (2007)

Compiler construction: 21st International Conference, CC 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 /
Julkaistu: (2012)

Fundamental approaches to software engineering : 16th International Conference, FASE 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings /
Julkaistu: (2013)

Fundamental approaches to software engineering 13th International Conference, FASE 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings /
Tekijä: Rosenblum, David S.
Julkaistu: (2010)

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

Compiler construction : 23rd International Conference, CC 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014. Proceedings /
Julkaistu: (2014)

Programming languages and systems (vol. # 3444) 14th european symposium on programming, ESOP 2005, held as part of the joint european conferences on theory and practice of software, ETAPS 2005, Edinburgh, UK, April 4-8,
Tekijä: Sagiv, Mooly
Julkaistu: (2005)

Programming languages and systems : 21st European symposium on programming, ESOP 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 /
Julkaistu: (2012)

Implementation and application of automata : 12th International Conference, CIAA 2007, Praque, Czech Republic, July 16-18, 2007, Revised Selected Papers /
Julkaistu: (2007)

Fundamental approaches to software engineering : 15th International Conference, FASE 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 /
Julkaistu: (2012)

Generative and transformational techniques in software engineering III International Summer School, GTTSE 2009, Braga, Portugal, July 6-11, 2009. Revised Papers /
Julkaistu: (2011)

Generative and transformational techniques in software engineering IV : International Summer School, GTTSE 2011, Braga, Portugal, July 3-9, 2011. Revised Papers /
Julkaistu: (2013)

Programming languages and systems 19th european symposium on programming, ESOP 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings /
Julkaistu: (2010)

Compiler construction : 22nd International Conference, CC 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings /
Julkaistu: (2013)

Formal methods and Software Engineering 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, FL, USA, November 14-15, 2007. Proceedings.
Tekijä: Butler, Michael
Julkaistu: (2007)

Theory and applications of satisfiability testing - SAT 2010 13th international conference, SAT 2010, Edinburgh, UK, July 11-14, 2010. Proceedings /
Julkaistu: (2010)

Formal modeling and analysis of timed systems : 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007. Proceedings /
Julkaistu: (2007)

Verification, model checking, and abstract interpretation : 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007. Proceedings /
Julkaistu: (2007)