本文に飛ぶ

年 〜
年

検索結果 23 件

Verification, model checking, and abstract interpretation : 20th International Conference, VMCAI 2019, Cascais, Portugal, January 13-15, 2019, proceedings

Verification, model checking, and abstract interpretation : 20th International Conference, VMCAI 2019, Cascais, Portugal, January 13-15, 2019, proceedings
紙図書
Constantin Enea, Ruzica Piskac (eds.)Springerc2019
全国の図書館
  • 著者標目VMCAI Enea, Constantin Piskac, Ruzi...

Verification, model checking, and abstract interpretation : 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018 : proceedings

Verification, model checking, and abstract interpretation : 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018 : proceedings
紙図書
Isil Dillig, Jens Palsberg (eds.)Springerc2018
全国の図書館
  • 著者標目VMCAI Dillig, Isil Palsberg, Jens

Verification, model checking, and abstract interpretation : 18th International Conference, VMCAI 2017, Paris, France, January 15-17, 2017, proceedings

Verification, model checking, and abstract interpretation : 18th International Conference, VMCAI 2017, Paris, France, January 15-17, 2017, proceedings
紙図書
Ahmed Bouajjani, David Monniaux (eds.)Springerc2017
全国の図書館
  • 著者標目VMCAI Bouajjani, Ahmed Monniaux, Da...

Verification, model checking, and abstract interpretation : 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016 : proceedings

Verification, model checking, and abstract interpretation : 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016 : proceedings
紙図書
Barbara Jobstmann, K. Rustan M. Leino (Eds.)Springerc2016
全国の図書館
  • 並列タイトル等（連結）ARCoSS VMCAI 2016
  • 並列タイトル等ARCoSS VMCAI 2016
  • 著者標目VMCAI Jobstmann, Barbara Leino, K. ...

Verification, model checking, and abstract interpretation : 16th international conference, VMCAI 2015, Mumbai, India, January 12-14, 2015 : proceedings

Verification, model checking, and abstract interpretation : 16th international conference, VMCAI 2015, Mumbai, India, January 12-14, 2015 : proceedings
紙図書
Deepak D'Souza, Akash Lal, Kim Guldstrand Larsen (eds.)Springerc2015
全国の図書館
  • 著者標目VMCAI D'Souza, Deepak Lal, Akash La...

Verification, model checking, and abstract interpretation : 9th international conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008 : proceedings

Verification, model checking, and abstract interpretation : 9th international conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008 : proceedings
紙図書
Francesco Logozzo, Doron A. Peled, Lenore D. Zuck (eds.)Springerc2008
全国の図書館
  • 著者標目VMCAI Logozzo, Francesco Peled, Dor...

Verification, Model Checking, and Abstract Interpretation : 8th International Conference, VMCAI 2007 Nice, France, January 14-16, 2007 : proceedings

Verification, Model Checking, and Abstract Interpretation : 8th International Conference, VMCAI 2007 Nice, France, January 14-16, 2007 : proceedings
紙図書
Byron Cook, Andreas Podelski (eds.)Springerc2007
全国の図書館
  • 著者標目VMCAI Cook, Byron Podelski, Andreas

Verification, model checking, and abstract interpretation : 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005 : proceedings

Verification, model checking, and abstract interpretation : 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005 : proceedings
紙図書
Radhia Cousot (ed.)Springerc2005
全国の図書館
  • 著者標目VMCAI Cousot, Radhia

Verification, model checking, and abstract interpretation : 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006 : proceedings

Verification, model checking, and abstract interpretation : 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006 : proceedings
紙図書
E. Allen Emerson, Kedar S. Namjoshi (eds.)Springerc2006
全国の図書館
  • 著者標目VMCAI Emerson, E. Allen Namjoshi, K...

Verification, model checking, and abstract interpretation : 5th International Conference, VMCAI 2004, Venice, Italy, January 11-13, 2004 : proceedings

Verification, model checking, and abstract interpretation : 5th International Conference, VMCAI 2004, Venice, Italy, January 11-13, 2004 : proceedings
紙図書
Bernhard Steffen, Giorgia Levi (eds.)Springerc2004
全国の図書館
  • 著者標目VMCAI Steffen, Bernhard Levi, Giorg...

Verification, model checking, and abstract interpretation : 15th international conference, VMCAI 2014 : San Diego, CA, USA, January 19-21, 2014 : proceedings : Jan 2014, San Diego, CA. (Lecture Notes in Computer Science ; 8318. Advanced Research in Computing and Software Science)

Verification, model checking, and abstract interpretation : 15th international conference, VMCAI 2014 : San Diego, CA, USA, January 19-21, 2014 : proceedings : Jan 2014, San Diego, CA. (Lecture Notes in Computer Science ; 8318. Advanced Research in Computing and Software Science)
紙図書
Springerc2014.<M17-14-1756>
国立国会図書館
  • 要約等...nterpretation, VMCAI 2014, held in San Diego, CA, ...
  • 著者標目VMCAI 2014 (2014 : San Diego, Calif...

Verification, model checking, and abstract interpretation : 16th international conference, VMCAI 2015 : Mumbai, India, January 12-14, 2015 : proceedings : Jan 2015, Mumbai, India. (Lecture Notes in Computer Science ; 8931. Advanced Research in Computing and Software Science)

Verification, model checking, and abstract interpretation : 16th international conference, VMCAI 2015 : Mumbai, India, January 12-14, 2015 : proceedings : Jan 2015, Mumbai, India. (Lecture Notes in Computer Science ; 8931. Advanced Research in Computing and Software Science)
紙図書
Springer[2015]<M17-15-1660>
国立国会図書館
  • 著者標目VMCAI (Conference) (16th : 2015 : M...

Verification, model checking, and abstract interpretation : 14th international conference, VMCAI 2013 : Rome, Italy, January 20-22, 2013 : proceedings : Jan 2013, Rome, Italy. (Lecture Notes in Computer Science ; 7737. Advanced Research in Computing and Software Science)

Verification, model checking, and abstract interpretation : 14th international conference, VMCAI 2013 : Rome, Italy, January 20-22, 2013 : proceedings : Jan 2013, Rome, Italy. (Lecture Notes in Computer Science ; 7737. Advanced Research in Computing and Software Science)
紙図書
Springerc2013.<M17-13-2103>
国立国会図書館
  • 著者標目VMCAI 2013 (2013 : Rome, Italy) Gia...

Verification, model checking, and abstract interpretation : 12th international conference, VMCAI 2011 : Austin, TX, USA, January 23-25, 2011 : proceedings. : Jan 2011, Austin, TX. (Lecture Notes in Computer Science ; 6538)

Verification, model checking, and abstract interpretation : 12th international conference, VMCAI 2011 : Austin, TX, USA, January 23-25, 2011 : proceedings. : Jan 2011, Austin, TX. (Lecture Notes in Computer Science ; 6538)
紙図書
Springerc2011.<M17-11-1898>
国立国会図書館
  • 著者標目Jhala, Ranjit. Schmidt, David. VMCAI 2011 (2011 : Austin, Tex.)

Verification, Model Checking, and Abstract Interpretation : third International Workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002 : revised papers

Verification, Model Checking, and Abstract Interpretation : third International Workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002 : revised papers
紙図書
Agostino Cortesi (ed.)Springerc2002
全国の図書館
  • 著者標目VMCAI Cortesi, Agostino

Verification, model checking, and abstract interpretation : 4th International Conference, VMCAI 2003, New York, NY, USA, January 9-11, 2003 : proceedings

Verification, model checking, and abstract interpretation : 4th International Conference, VMCAI 2003, New York, NY, USA, January 9-11, 2003 : proceedings
紙図書
Lenore D. Zuck ... [et al.] (eds.)Springerc2003
全国の図書館
  • 著者標目VMCAI Zuck, Lenore D. Attie, Paul C...

Verification, model checking, and abstract interpretation : 8th international conference, VMCAI 2007 : Nice, France, January 14-16, 2007 : proceedings. : Jan 2007, Nice, France. (Lecture Notes in Computer Science ; 4349)

Verification, model checking, and abstract interpretation : 8th international conference, VMCAI 2007 : Nice, France, January 14-16, 2007 : proceedings. : Jan 2007, Nice, France. (Lecture Notes in Computer Science ; 4349)
紙図書
Springerc2007.<M17-07-718>
国立国会図書館
  • 著者標目Cook, Bryron. Podelski, Andreas. VMCAI 2007 (2007 : Nice, France)

Verification, model checking, and abstract interpretation : 9th international conference, VMCAI 2008 : San Francisco, USA, January 7-9, 2008 : proceedings. : 9th VMCAI meeting : Jan 2008, San Francisco, CA. (Lecture Notes in Computer Science ; 4905)

Verification, model checking, and abstract interpretation : 9th international conference, VMCAI 2008 : San Francisco, USA, January 7-9, 2008 : proceedings. : 9th VMCAI meeting : Jan 2008, San Francisco, CA. (Lecture Notes in Computer Science ; 4905)
紙図書
Springerc2008.<M17-08-1774>
国立国会図書館
  • 著者標目...nore D., 1958- VMCAI 2008 (2008 : San Francisco, C...

Verification, model checking, and abstract interpretation : 7th international conference, VMCAI 2006 : Charleston, SC, USA, January 8-10, 2006 : proceedings. : Jan 2006, Charleston, SC. (Lecture Notes in Computer Science ; 3855)

Verification, model checking, and abstract interpretation : 7th international conference, VMCAI 2006 : Charleston, SC, USA, January 8-10, 2006 : proceedings. : Jan 2006, Charleston, SC. (Lecture Notes in Computer Science ; 3855)
紙図書
Springerc2006.<M17-06-2259>
国立国会図書館
  • 著者標目Emerson, E. Allen. Namjoshi, Kedar S. VMCAI 2006 (2006 : Charleston, S.C....

Verification, model checking, and abstract interpretation : 4th international conference, VMCAI 2003, New York, NY, USA, January 9-11, 2003 : proceedings. : Jan 2003, New York, NY. (Lecture Notes in Computer Science ; 2575)

Verification, model checking, and abstract interpretation : 4th international conference, VMCAI 2003, New York, NY, USA, January 9-11, 2003 : proceedings. : Jan 2003, New York, NY. (Lecture Notes in Computer Science ; 2575)
紙図書
Springerc2003.<M17-03-814>
国立国会図書館
  • 著者標目Zuck, Lenore D., 1958- VMCAI 2003 (2003 : New York, NY)
RSS