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...p and Tutorial World Congress on Formal Methods Dongol, Brijesh Petre, Luigia...

Formal methods - the next 30 years : third World Congress, FM 2019, Porto, Portugal, October 7-11, 2019 : proceedings

Formal methods - the next 30 years : third World Congress, FM 2019, Porto, Portugal, October 7-11, 2019 : proceedings
Paper図書
Maurice H. ter Beek, Annabelle McIver, José N. Oliveira (eds.)Springerc2019
Other Libraries in Japan
  • Note (General)...m of the Third World Congress on Formal Methods, during October 7-11, 2019" -...
  • Author HeadingWorld Congress on Formal Methods International Symposium of Fo...

Theoretical and practical aspects of SPIN model checking : 5th and 6th International SPIN workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24, 1999 : proceedings

Theoretical and practical aspects of SPIN model checking : 5th and 6th International SPIN workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24, 1999 : proceedings
Paper図書
Dennis Dams ... [et al.], (eds.)Springerc1999
Other Libraries in Japan
  • Author Heading...gic Conference World Congress on Formal Methods in the Development of Computi...

FM '99 - Formal Methods : World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 : proceedings v. 1 v. 2

FM '99 - Formal Methods : World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 : proceedings v. 1 v. 2
Paper図書
Jeannette M. Wing, Jim Woodcock, Jim Davies (eds.)Springerc1999
Other Libraries in Japan
  • Note (General)...'99, the First World Congress on Formal Methods in the Development of Computi...
  • Author HeadingWorld Congress on Formal Methods in the Development of Computi...

Reached to the end of result.

RSS