本文に飛ぶ

年 〜
年

検索結果 5 件

Proceedings of the 6th Conference on Formal Methods in Software Engineering

Proceedings of the 6th Conference on Formal Methods in Software Engineering
デジタル電子書籍・電子雑誌図書
2018
国立国会図書館
  • 著者標目Gnesi, Stefania Association for Computing Mac...

Proceedings of the 5th International FME Workshop on Formal Methods in Software Engineering

Proceedings of the 5th International FME Workshop on Formal Methods in Software Engineering
デジタル電子書籍・電子雑誌図書
2017
国立国会図書館
  • 著者標目Gnesi, Stefania Association for Computing Mac...

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 : 17th ETAPS : annual European joint conferences on theory and practice of software : Apr 2014, Grenoble, France. (Lecture Notes in Computer Science ; 8411. Advanced Research in Computing and Software Science)

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 : 17th ETAPS : annual European joint conferences on theory and practice of software : Apr 2014, Grenoble, France. (Lecture Notes in Computer Science ; 8411. Advanced Research in Computing and Software Science)
紙図書
Springerc2014.<M17-14-2138>
国立国会図書館
  • 著者標目...noble, France) Gnesi, Stefania, 1954- Rensink, Arend. Univer...

FME 2003 : formal methods : International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003 : proceedings

FME 2003 : formal methods : International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003 : proceedings
紙図書
Keijiro Araki, Stefania Gnesi, Dino Mandrioli (eds.)Springerc2003
全国の図書館
  • 著者標目International Symposium of Formal Methods Europe 荒木, 啓二郎 Gnesi, Stefania Mandrioli, Dino

FME 2003: formal methods : international symposium of Formal Methods Europe : Pisa, Italy, September 8-14, 2003 : proceedings. : 12th international Formal Methods Europe symposium : Sep 2003, Pisa, Italy. (Lecture Notes in Computer Science ; 2805)

FME 2003: formal methods : international symposium of Formal Methods Europe : Pisa, Italy, September 8-14, 2003 : proceedings. : 12th international Formal Methods Europe symposium : Sep 2003, Pisa, Italy. (Lecture Notes in Computer Science ; 2805)
紙図書
Springer-Verlagc2003.<M17-04-1289>
国立国会図書館
  • 著者標目...Keijirō, 1954- Gnesi, Stefania, 1954- Mandrioli, Dino. Inter...

検索結果は以上です。

RSS