N.F.M.

的圖書

	$ 4799	NASA Formal Methods: 16th International Symposium, Nfm 2024, Moffett Field, Ca, Usa, June 4-6, 2024, Proceedings 作者：Gopinath　出版社：Springer 出版日期：2024-05-28 語言：英文規格：平裝 / 普通級/ 初版博客來 - 應用軟體與開發工程 - 來源網頁看圖書介紹
	$ 5999	NASA Formal Methods: 15th International Symposium, Nfm 2023, Houston, Tx, Usa, May 16-18, 2023, Proceedings 出版社：Springer 出版日期：2023-06-03 語言：英文規格：平裝 / 23.5 x 15.49 cm / 普通級/ 初版博客來 - 網際網路 - 來源網頁看圖書介紹
	$ 8399	NASA Formal Methods: 14th International Symposium, NFM 2022, Pasadena, CA, USA, May 24-27, 2022, Proceedings 出版社：Springer 出版日期：2022-05-20 語言：英文規格：平裝 / 852頁 / 23.39 x 15.6 x 4.29 cm / 普通級/ 初版博客來 - 應用軟體與開發工程 - 來源網頁看圖書介紹
	$ 5999	NASA Formal Methods: 13th NASA International Symposium, Nfm 2021, Virtual Event, May 24-28, 2021, Proceedings 出版社：Springer 出版日期：2021-05-17 語言：英文規格：平裝 / 普通級/ 初版博客來 - 計算機概論 - 來源網頁看圖書介紹
	$ 4799	NASA Formal Methods: 12th International Symposium, Nfm 2020, Moffett Field, Ca, Usa, May 11-15, 2020, Proceedings 出版社：Springer 出版日期：2020-08-09 語言：英文規格：平裝 / 普通級/ 初版博客來 - 網際網路 - 來源網頁看圖書介紹
	$ 3299	NASA Formal Methods: 9th International Symposium, Nfm 2017, Moffett Field, Ca, Usa, May 16-18, 2017, Proceedings 出版社：Springer 出版日期：2017-04-09 語言：英文規格：平裝 / 436頁 / 23.5 x 15.57 x 2.31 cm / 普通級/ 初版博客來 - 程式語言 - 來源網頁看圖書介紹
	$ 4199	NASA Formal Methods: 8th International Symposium, Nfm 2016, Minneapolis, Mn, Usa, June 7-9, 2016, Proceedings 出版社：Springer 出版日期：2016-06-04 語言：英文規格：平裝 / 396頁 / 23.39 x 15.6 x 2.16 cm / 普通級/ 初版博客來 - 資料庫與作業系統 - 來源網頁看圖書介紹
	$ 3299	Nasa Formal Methods: 7th International Symposium, Nfm 2015, Pasadena, Ca, USA, April 27-29, 2015, Proceedings 作者：Havelund　出版社：Springer 出版日期：2015-04-09 語言：英文規格：平裝 / 458頁 / 23.4 x 15.5 x 2.5 cm / 普通級博客來 - 資料庫與作業系統 - 來源網頁看圖書介紹
	$ 3299	Nasa Formal Methods: 6th International Symposium, Nfm 2014, Houston, Tx, USA, April 29 - May 1, 2014. Proceedings 作者：Badger　出版社：Springer 出版日期：2014-04-02 語言：英文規格：平裝 / 360頁 / 23.4 x 15.5 x 2 cm / 普通級博客來 - 資料庫與作業系統 - 來源網頁看圖書介紹
	$ 3299	NASA Formal Methods: 5th International Symposium, Nfm 2013, Moffett Field, Ca, Usa, May 14-16, 2013. Proceedings 出版社：Springer 出版日期：2013-04-17 語言：英文規格：平裝 / 486頁 / 23.39 x 15.6 x 2.62 cm / 普通級/ 初版博客來 - 資料庫與作業系統 - 來源網頁看圖書介紹
	$ 3299	NASA Formal Methods: 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012, Proceedings 作者：Goodloe　出版社：Springer 出版日期：2012-03-27 語言：英文規格：平裝 / 466頁 / 23.4 x 15.5 x 2.5 cm / 普通級博客來 - 程式語言 - 來源網頁看圖書介紹
	$ 3299	NASA Formal Methods: Third International Symposium, Nfm 2011, Pasadena, Ca, Usa, April 18-20, 2011, Proceedings 出版社：Springer 出版日期：2011-04-06 語言：英文規格：平裝 / 534頁 / 23.62 x 15.49 x 3.05 cm / 普通級/ 初版博客來 - 資料庫與作業系統 - 來源網頁看圖書介紹