Vinkkaa tuotetta kavereillesi:
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 Zhiming Liu 2006 edition
Hinta
€ 101,49
Tilattu etävarastosta
Arvioitu toimitus ma - ti 12. - 20. tammi 2026
Joululahjoja voi vaihtaa 31.1. asti
Lisää iMusic-toivelistallesi
tai
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
Zhiming Liu
This book constitutes the refereed proceedings of the 8th International Conference on Formal Engineering Methods, ICFEM 2006, held in Macao, China, in November 2006. The papers address all current issues in formal methods and their applications in software engineering.
792 pages, biography
| Media | Kirjat Paperback Book (Kirja pehmeillä kansilla ja liimatulla selällä) |
| Julkaisupäivämäärä | tiistai 24. lokakuuta 2006 |
| ISBN13 | 9783540474609 |
| Tuottaja | Springer-Verlag Berlin and Heidelberg Gm |
| Sivujen määrä | 792 |
| Mitta | 155 × 235 × 40 mm · 1,10 kg |
| Kieli | Saksa |
| Toimittaja | He, Jifeng |
| Toimittaja | Liu, Zhiming |
Lisää tuotteita Zhiming Liu
Näytä kaikki![Cover for Zhiming Liu · Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday - Lecture Notes in Computer Science (Paperback Book) [2013 edition] (2013)](https://imusic.b-cdn.net/images/item/original/977/9783642396977.jpg?zhiming-liu-2013-theories-of-programming-and-formal-methods-essays-dedicated-to-jifeng-he-on-the-occasion-of-his-70th-birthday-lecture-notes-in-computer-science-paperback-book&class=scaled&v=1533469082)
![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 · 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)
Katso kaikki joka sisältää Zhiming Liu ( Esim. Paperback Book )