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)
国立国会図書館請求記号
M17-16-366
国立国会図書館書誌ID
026547566
資料種別
図書
著者
International School on Formal Methods for the Design of Computer, Communication, and Software Systems (15th : 2015 : Bertinoro, Italy)ほか
This book presents 5 tutorial lectures given by leading researchers at the 15th edition of the International School on Formal Methods for the Design o...