Jump to main content

yr 〜
yr

Search results 2

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. Universite Jo...

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. Internationa...

Reached to the end of result.

RSS