年 〜
年

検索結果 1 件

Software engineering and formal methods : SEFM 2013 collocated workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert : Madrid, Spain, September 23-24, 2013 : revised selected papers : 11th international conference on software engineering and formal methods : 2nd international workshop on behavioral types workshop [sic] (BEAT 2) : 3rd workshop on formal methods in the development of software : workshop on a formal methods body of knowledge for railway control and safety systems : 2nd international symposium on modelling and knowledge management for sustainable development : 2nd international workshop on behavioural types : 7th international workshop on foundations and techniques for open source software certification (OpenCert2013) : Sep 2013, Madrid, Spain. (Lecture Notes in Computer Science ; 8368)

Software engineering and formal methods : SEFM 2013 collocated workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert : Madrid, Spain, September 23-24, 2013 : revised selected papers : 11th international conference on software engineering and formal methods : 2nd international workshop on behavioral types workshop [sic] (BEAT 2) : 3rd workshop on formal methods in the development of software : workshop on a formal methods body of knowledge for railway control and safety systems : 2nd international symposium on modelling and knowledge management for sustainable development : 2nd international workshop on behavioural types : 7th international workshop on foundations and techniques for open source software certification (OpenCert2013) : Sep 2013, Madrid, Spain. (Lecture Notes in Computer Science ; 8368)
紙図書
Springerc2014.<M17-14-2122>
国立国会図書館
  • 著者標目...Madrid, Spain) Counsell, Steve. Núñez, Manuel (Professor)

検索結果は以上です。