本文に飛ぶ

年 〜
年

検索結果 7 件

NASA formal methods : 14th International Symposium, NFM 2022, Pasadena, CA, USA, May 24-27, 2022 : proceedings

NASA formal methods : 14th International Symposium, NFM 2022, Pasadena, CA, USA, May 24-27, 2022 : proceedings
紙図書
Jyotirmoy V. Deshmukh, Klaus Havelund, Ivan Perez (eds.)Springerc2022
全国の図書館
  • 著者標目NFM (Symposium) Deshmukh, Jyotirmoy Havelund, Klaus Perez, Ivan

Formal methods : 22nd International Symposium, FM 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018 : proceedings

Formal methods : 22nd International Symposium, FM 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018 : proceedings
紙図書
Klaus Havelund ... [et al.] (eds.)Springerc2018
全国の図書館
  • 著者標目International Symposium of Formal Methods Europe Havelund, Klaus

Model checking software : 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008 : proceedings

Model checking software : 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008 : proceedings
紙図書
Klaus Havelund, Rupak Majumdar, Jens Palsberg (eds.)Springerc2008
全国の図書館
  • 著者標目SPIN Havelund, Klaus Majumdar, Rupak Palsberg, Jen...

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 : 17th ETAPS : Apr 2014, Grenoble, France. (Lecture Notes in Computer Science ; 8413. Advanced Research in Computing and Software Science)

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 : 17th ETAPS : Apr 2014, Grenoble, France. (Lecture Notes in Computer Science ; 8413. Advanced Research in Computing and Software Science)
紙図書
Springerc2014.<M17-14-2140>
国立国会図書館
  • 著者標目...rahám, Erika. Havelund, Klaus, 1955- Universite Joseph Four...

Formal approaches to software testing and runtime verification : First Combined International Workshops, FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, revised selected papers

Formal approaches to software testing and runtime verification : First Combined International Workshops, FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, revised selected papers
紙図書
Klaus Havelund ... [et al.] (eds.)Springerc2006
全国の図書館
  • 著者標目Havelund, Klaus FATES/RV

Model checking software : 15th international SPIN workshop : Los Angeles, CA, USA, August 10-12, 2008 : proceedings. : Aug 2008, Los Angeles, CA. (Lecture Notes in Computer Science ; 5156)

Model checking software : 15th international SPIN workshop : Los Angeles, CA, USA, August 10-12, 2008 : proceedings. : Aug 2008, Los Angeles, CA. (Lecture Notes in Computer Science ; 5156)
紙図書
Springerc2008.<M17-08-2037>
国立国会図書館
  • 著者標目Havelund, Klaus, 1955- Majumdar, Rupak. Palsb...

SPIN model checking and software verification : 7th International SPIN Workshop, Stanford, CA, USA, August 30-September 1, 2000 : proceedings

SPIN model checking and software verification : 7th International SPIN Workshop, Stanford, CA, USA, August 30-September 1, 2000 : proceedings
紙図書
Klaus Havelund, John Penix, Willem Visser (eds.)Springerc2000
全国の図書館
  • 著者標目SPIN Havelund, Klaus Penix, John Visser, Willem

検索結果は以上です。

RSS