Jump to main content

yr 〜
yr

Search results 5

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

Proceedings of the 6th Conference on Formal Methods in Software Engineering
Digital電子書籍・電子雑誌図書
2018
National Diet Library
  • Author HeadingGnesi, 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
Digital電子書籍・電子雑誌図書
2017
National Diet Library
  • Author HeadingGnesi, 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)
Paper図書
Springerc2014.<M17-14-2138>
National Diet Library
  • Author Heading...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
Paper図書
Keijiro Araki, Stefania Gnesi, Dino Mandrioli (eds.)Springerc2003
Other Libraries in Japan
  • Author HeadingInternational 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)
Paper図書
Springer-Verlagc2003.<M17-04-1289>
National Diet Library
  • Author Heading...Keijirō, 1954- Gnesi, Stefania, 1954- Mandrioli, Dino. Inter...

Reached to the end of result.

RSS