この商品を友人に教える:
Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday - Lecture Notes in Computer Science Zhiming Liu 2013 edition
価格
¥ 8.859
税抜
遠隔倉庫からの取り寄せ
発送予定日 2026年1月14日 - 2026年1月26日
クリスマスプレゼントは1月31日まで返品可能です
iMusicのウィッシュリストに追加
Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday - Lecture Notes in Computer Science
Zhiming Liu
He won a number of prestigious science and technology awards, including a 2nd prize of Natural Science Award from the State Council of China, a 1st prize of Natural Science Award from the Ministry of Education of China, a 1st prize of Technology Innovation from the Ministry of Electronic Industry, and a number awards from Shanghai government.
428 pages, 86 black & white illustrations, biography
| メディア | 書籍 Paperback Book (ソフトカバーで背表紙を接着した本) |
| リリース済み | 2013年7月31日 |
| ISBN13 | 9783642396977 |
| 出版社 | Springer-Verlag Berlin and Heidelberg Gm |
| ページ数 | 413 |
| 寸法 | 155 × 235 × 22 mm · 594 g |
| 言語 | フランス語 |
| 編集者 | Liu, Zhiming |
| 編集者 | Woodcock, Jim |
| 編集者 | Zhu, Huibiao |
![Cover for Zhiming Liu · Unifying Theories of Programming and Formal Engineering Methods: International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures - Lecture Notes in Computer Science (Paperback Book) [2013 edition] (2013)](https://imusic.b-cdn.net/images/item/original/202/9783642397202.jpg?zhiming-liu-2013-unifying-theories-of-programming-and-formal-engineering-methods-international-training-school-on-software-engineering-held-at-ictac-2013-shanghai-china-august-26-30-2013-advanced-lectures-lecture-notes-in-computer-science-paperback-book&class=scaled&v=1603350747)
![Cover for Zhiming Liu · Theoretical Aspects of Computing -- ICTAC 2013: 10th International Colloquium, Shanghai, China, September 4-6, 2013, Proceedings - Theoretical Computer Science and General Issues (Paperback Book) [2013 edition] (2013)](https://imusic.b-cdn.net/images/item/original/172/9783642397172.jpg?zhiming-liu-2013-theoretical-aspects-of-computing-ictac-2013-10th-international-colloquium-shanghai-china-september-4-6-2013-proceedings-theoretical-computer-science-and-general-issues-paperback-book&class=scaled&v=1508352716)
![Cover for Zhiming Liu · Foundations of Health Informatics Engineering and Systems: First International Symposium, FHIES 2011, Johannesburg, South Africa, August 29-30, 2011. Revised Selected Papers - Programming and Software Engineering (Paperback Book) [2012 edition] (2012)](https://imusic.b-cdn.net/images/item/original/546/9783642323546.jpg?zhiming-liu-2012-foundations-of-health-informatics-engineering-and-systems-first-international-symposium-fhies-2011-johannesburg-south-africa-august-29-30-2011-revised-selected-papers-programming-and-software-engineering-paperback-book&class=scaled&v=1525268977)
![Cover for Zhiming Liu · Automated Technology for Verification and Analysis: 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009, Proceedings - Lecture Notes in Computer Science (Paperback Book) [2009 edition] (2009)](https://imusic.b-cdn.net/images/item/original/602/9783642047602.jpg?zhiming-liu-2009-automated-technology-for-verification-and-analysis-7th-international-symposium-atva-2009-macao-china-october-14-16-2009-proceedings-lecture-notes-in-computer-science-paperback-book&class=scaled&v=1584127096)
![Cover for Zhiming Liu · Formal Methods and Software Engineering: 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Proceedings - Lecture Notes in Computer Science (Paperback Book) [2006 edition] (2006)](https://imusic.b-cdn.net/images/item/original/609/9783540474609.jpg?zhiming-liu-2006-formal-methods-and-software-engineering-8th-international-conference-on-formal-engineering-methods-icfem-2006-macao-china-november-1-3-2006-proceedings-lecture-notes-in-computer-science-paperback-book&class=scaled&v=1524928013)
![Cover for Zhiming Liu · Theoretical Aspects of Computing - ICTAC 2004: First International Colloquium Guiyand, China, September 20-24, 2004, Revised Selected Papers - Theoretical Computer Science and General Issues (Paperback Book) [2005 edition] (2005)](https://imusic.b-cdn.net/images/item/original/044/9783540253044.jpg?zhiming-liu-2005-theoretical-aspects-of-computing-ictac-2004-first-international-colloquium-guiyand-china-september-20-24-2004-revised-selected-papers-theoretical-computer-science-and-general-issues-paperback-book&class=scaled&v=1454574539)