本文に飛ぶ

年 〜
年

検索結果 9 件

Software verification : 13th International Conference, VSTTE 2021, New Haven, CT, USA, October 18-19, 2021, and 14th International Workshop, NSV 2021, Los Angeles, CA, USA, July 18-19, 2021, revised selected papers

Software verification : 13th International Conference, VSTTE 2021, New Haven, CT, USA, October 18-19, 2021, and 14th International Workshop, NSV 2021, Los Angeles, CA, USA, July 18-19, 2021, revised selected papers
紙図書
Roderick Bloem ... [et al.] (eds.)Springerc2022
全国の図書館
  • 一般注記...d Experiments (VSTTE 2021), held vi......18–19, 2021."--VSTTE 2021 Pref "This volume contai...
  • 著者標目VSTTE International Workshop on Num...

Verified software : theories, tools, experiments : second international conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008 : proceedings

Verified software : theories, tools, experiments : second international conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008 : proceedings
紙図書
Natarajan Shankar, Jim Woodcock (eds.)Springerc2008
全国の図書館
  • 並列タイトル等（連結）VSTTE 2008
  • 並列タイトル等VSTTE 2008
  • 著者標目VSTTE Shankar, Natarajan Woodcock, ...

Verified Software : theories, tools, experiments : first IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005 : revised selected papers and discussions

Verified Software : theories, tools, experiments : first IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005 : revised selected papers and discussions
紙図書
Bertrand Meyer, Jim Woodcock (eds.)Springerc2008
全国の図書館
  • 著者標目VSTTE Meyer, Bertrand Woodcock, Jim

Verified software: theories, tools and experiments : 6th international conference, VSTTE 2014 : Vienna, Austria, July 17-18, 2014 : revised selected papers : 6th international conference on verified software: theories, tool and experiments : Vienna summer of logic : Jul 2014, Vienna, Austria. (Lecture Notes in Computer Science ; 8471)

Verified software: theories, tools and experiments : 6th international conference, VSTTE 2014 : Vienna, Austria, July 17-18, 2014 : revised selected papers : 6th international conference on verified software: theories, tool and experiments : Vienna summer of logic : Jul 2014, Vienna, Austria. (Lecture Notes in Computer Science ; 8471)
紙図書
Springer[2014]<M17-15-1585>
国立国会図書館
  • 著者標目VSTTE 2014 (2014 : Vienna, Austria)...

Verified software: theories, tools, experiments : 5th international conference, VSTTE 2013 : Menlo Park, CA, USA, May 17-19, 2013 : revised selected papers : 5th international conference on verified software: theories, tool and experiments (VSTTE) : May 2013, Menlo Park, CA. (Lecture Notes in Computer Science ; 8164)

Verified software: theories, tools, experiments : 5th international conference, VSTTE 2013 : Menlo Park, CA, USA, May 17-19, 2013 : revised selected papers : 5th international conference on verified software: theories, tool and experiments (VSTTE) : May 2013, Menlo Park, CA. (Lecture Notes in Computer Science ; 8164)
紙図書
Springerc2014.<M17-14-1741>
国立国会図書館
  • 一般注記...ent, (...) and VSTTE 2012 was held in Philadelphia...
  • 著者標目VSTTE 2013 (2013 : Menlo Park, Cali...

Verified software: theories, tools, experiments : 4th international conference, VSTTE 2012 : Philadelphia, PA, USA, January 28-29, 2012 : proceedings : Jan 2012, Philadelphia, PA. (Lecture Notes in Computer Science ; 7152)

Verified software: theories, tools, experiments : 4th international conference, VSTTE 2012 : Philadelphia, PA, USA, January 28-29, 2012 : proceedings : Jan 2012, Philadelphia, PA. (Lecture Notes in Computer Science ; 7152)
紙図書
Springerc2012.<M17-12-2132>
国立国会図書館
  • 著者標目VSTTE 2012 (2012 : Philadelphia, Pa...

Verified software: theories, tools, experiments : first IFIP TC 2/WG 2.3 conference, VSTTE 2005 : Zurich, Switzerland, October 10-13, 2005 : revised selected papers and discussions. : Oct 2005, Zurich, Switzerland. (Lecture Notes in Computer Science ; 4171. State-of-the-Art Survey)

Verified software: theories, tools, experiments : first IFIP TC 2/WG 2.3 conference, VSTTE 2005 : Zurich, Switzerland, October 10-13, 2005 : revised selected papers and discussions. : Oct 2005, Zurich, Switzerland. (Lecture Notes in Computer Science ; 4171. State-of-the-Art Survey)
紙図書
Springerc2008.<M17-09-409>
国立国会図書館
  • 並列タイトル等（連結）....3 conference, VSTTE 2005 : Zurich, Switzerland, O...
  • 並列タイトル等....3 conference, VSTTE 2005 : Zurich, Switzerland, O...
  • 著者標目Meyer, Bertrand, 1950- Woodcock, Jim. VSTTE 2005 (2005 : Zurich, Switzerl...

Verified software: theories, tools, experiments : second international conference, VSTTE 2008 : Toronto, Canada, October 6-9, 2008 : proceedings. : 2nd working conference on verified software: theories, tools, and experiments : Oct 2008, Toronto, Canada. (Lecture Notes in Computer Science ; 5295)

Verified software: theories, tools, experiments : second international conference, VSTTE 2008 : Toronto, Canada, October 6-9, 2008 : proceedings. : 2nd working conference on verified software: theories, tools, and experiments : Oct 2008, Toronto, Canada. (Lecture Notes in Computer Science ; 5295)
紙図書
Springerc2008.<M17-08-2339>
国立国会図書館
  • 一般注記...ers. "The main VSTTE 2008 conference hosted three ...
  • 並列タイトル等（連結）...al conference, VSTTE 2008 : Toronto, Canada, Octob...
  • 並列タイトル等...al conference, VSTTE 2008 : Toronto, Canada, Octob...

Verified software: theories, tools, experiments : third international conference, VSTTE 2010 : Edinburgh, UK, August 16-19, 2010 : proceedings. : Aug 2010, Edinburgh, UK. (Lecture Notes in Computer Science ; 6217)

Verified software: theories, tools, experiments : third international conference, VSTTE 2010 : Edinburgh, UK, August 16-19, 2010 : proceedings. : Aug 2010, Edinburgh, UK. (Lecture Notes in Computer Science ; 6217)
紙図書
Springerc2010.<M17-10-4245>
国立国会図書館
  • 並列タイトル等（連結）...al conference, VSTTE 2010 : Edinburgh, UK, August ...
  • 並列タイトル等...al conference, VSTTE 2010 : Edinburgh, UK, August ...
  • 著者標目...iram K., 1970- VSTTE 2010 (2010 : Edinburgh, Scotl...

検索結果は以上です。

RSS