年 〜
年

検索結果 7 件

Fundamental Approaches to Software Engineering

Fundamental Approaches to Software Engineering
デジタル電子書籍・電子雑誌図書
2022
インターネットで読める国立国会図書館

Formal methods for multicore programming : 15th international school on formal methods for the design of computer, communication, and software systems, SFM 2015 : Bertinoro, Italy, June 15-19, 2015 : advanced lectures : Jun 2015, Bertinoro, Italy. (Lecture Notes in Computer Science ; 9104. Tutorial)

Formal methods for multicore programming : 15th international school on formal methods for the design of computer, communication, and software systems, SFM 2015 : Bertinoro, Italy, June 15-19, 2015 : advanced lectures : Jun 2015, Bertinoro, Italy. (Lecture Notes in Computer Science ; 9104. Tutorial)
紙図書
Springer[2015]<M17-16-366>
国立国会図書館
  • 著者標目...rnardo, Marco. Johnsen, Einar Broch. EU FP7 Project UpScale.

Formal methods for executable software models : 14th international school on formal methods for the design of computer, communication, and software systems, SFM 2014 : Bertinoro, Italy, June 16-20, 2014 : advanced lectures : Jun 2014, Bertinoro, Italy. (Lecture Notes in Computer Science ; 8483. Tutorial)

Formal methods for executable software models : 14th international school on formal methods for the design of computer, communication, and software systems, SFM 2014 : Bertinoro, Italy, June 16-20, 2014 : advanced lectures : Jun 2014, Bertinoro, Italy. (Lecture Notes in Computer Science ; 8483. Tutorial)
紙図書
Springer[2014]<M17-15-592>
国立国会図書館
  • 著者標目...̈hnle, Reiner. Johnsen, Einar Broch. Schaefer, Ina.

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)
紙図書
Springerc2013.<M17-13-3364>
国立国会図書館
  • 著者標目...urku, Finland) Johnsen, Einar Broch. Petre, Luigia, 1974- Abo Akad...

Formal methods for open object-based distributed systems : 9th IFIP WG 6.1 international conference FMOODS 2007 : Paphos, Cyprus, June 6-8, 2007 : proceedings. : federated conferences on distributed computing techniques (DisCoTec) : Jun 2007, Paphos, Cyprus. (Lecture Notes in Computer Science ; 4468)

Formal methods for open object-based distributed systems : 9th IFIP WG 6.1 international conference FMOODS 2007 : Paphos, Cyprus, June 6-8, 2007 : proceedings. : federated conferences on distributed computing techniques (DisCoTec) : Jun 2007, Paphos, Cyprus. (Lecture Notes in Computer Science ; 4468)
紙図書
Springerc2007.<M17-07-2714>
国立国会図書館
  • 著者標目...e, Marcello M. Johnsen, Einar Broch. International Conference on F...

Formal methods for multicore programming : 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015 : advanced lectures

Formal methods for multicore programming : 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015 : advanced lectures
紙図書
Marco Bernardo, Einar Broch Johnsen (eds.)Springerc2015
全国の図書館

Formal methods for open object-based distributed systems : 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007 : proceedings

Formal methods for open object-based distributed systems : 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007 : proceedings
紙図書
Marcello M. Bonsangue, Einar Broch Johnsen (eds.)Springerc2007
全国の図書館

検索結果は以上です。