Jump to main content

yr 〜
yr

Search results 4

Formal methods teaching : third International Workshop and Tutorial, FMTea 2019, held as part of the third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019 : proceedings

Formal methods teaching : third International Workshop and Tutorial, FMTea 2019, held as part of the third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019 : proceedings
Paper図書
Brijesh Dongol, Luigia Petre, Graeme Smith (eds.)Springerc2019
Other Libraries in Japan
  • Author Heading...ongol, Brijesh Petre, Luigia Smith, Graeme

Integrated formal methods : 10th international conference, IFM 2013 : Turku, Finland, June 10-14, 2013 : proceedings : Jun 2013, Turku, Finland. (Lecture Notes in Computer Science ; 7940)

Integrated formal methods : 10th international conference, IFM 2013 : Turku, Finland, June 10-14, 2013 : proceedings : Jun 2013, Turku, Finland. (Lecture Notes in Computer Science ; 7940)
Paper図書
Springerc2013.<M17-13-3364>
National Diet Library
  • Author Heading..., Einar Broch. Petre, Luigia, 1974- Abo Akademi University...

Integrated formal methods : third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002 : proceedings

Integrated formal methods : third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002 : proceedings
Paper図書
Michael Butler, Luigia Petre, Kaisa Sere (eds.)Springerc2002
Other Libraries in Japan
  • Author Heading...utler, Michael Petre, Luigia Sere, K. (Kaisa)

Integrated formal methods : third international conference, IFM 2002, Turku, Finland, May 15-18, 2002, proceedings. : May 2002, Turku, Finland. (Lecture Notes in Computer Science ; 2335)

Integrated formal methods : third international conference, IFM 2002, Turku, Finland, May 15-18, 2002, proceedings. : May 2002, Turku, Finland. (Lecture Notes in Computer Science ; 2335)
Paper図書
Springer2002.<M17-03-56>
National Diet Library
  • Author Heading...Michael, 1967- Petre, Luigia, 1974- Sere, K. (Kaisa) , 195...

Reached to the end of result.

RSS