TACAS   (1995;1996;1997;1998;1999;2000;2001;2004;)

この人物の情報

人物別名 Workshop on Tools and Algorithms for the Construction and Analysis of Systems

International Conference on Tools and Algorithms for the Construction and Analysis of Systems

International Workshop, TACAS

International Conference, TACAS
生年 1995年
没年 0年

本の一覧

タイトル 著作者等 出版元 刊行年月
Tools and algorithms for the construction and analysis of systems : 23rd International Conference, TACAS 2017, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017 : proceedings Axel Legay, Tiziana Margaria (eds.) Springer
c2017
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 C.R. Ramakrishnan, Jakob Rehof (eds.) Springer
c2008
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 Orna Grumberg, Michael Huth (eds.) Springer
c2007
Tools and algorithms for the construction and analysis of systems : 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 Holger Hermanns, Jens Palsberg (eds.) Springer
c2006
Tools and algorithms for the construction and analysis of systems : 11th International Conference, TACAS 2005, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005 : proceedings Nicolas Halbwachs, Lenore D. Zuck (eds.) Springer
c2005
Tools and algorithms for the construction and analysis of systems : 10th International Conference, TACAS 2004, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004 : proceedings Kurt Jensen, Andreas Podelski (eds.) Springer
c2004
Tools and algorithms for the construction and analysis of systems : 9th International Conference, TACAS 2003, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003 : proceedings Hubert Garavel, John Hatcliff (eds.) Springer
c2003
Tools and Algorithms for the Construction and Analysis of Systems : 8th International Conference, TACAS 2002, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002 : proceedings Joost-Pieter Katoen, Perdita Stevens (eds.) Springer
c2002
Tools and algorithms for the construction and analysis of systems : 7th International Conference, TACAS 2001, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2-6, 2001 : proceedings Tiziana Margaria, Wang Yi (eds.) Springer
c2001
この人物の作品が掲載されている本を検索
この人物を: 
このエントリーをはてなブックマークに追加

このページを印刷

外部サイトで検索

この人物と繋がる本を検索

ウィキペディアから連想