Freunden von diesem Artikel berichten:
Automated Technology for Verification and Analysis: 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009, Proceedings - Lecture Notes in Computer Science Zhiming Liu 2009 edition
Preis
SFr. 44,99
exkl. MwSt.
Bestellware
Lieferdatum: ca. 25. Dez - 2. Jan 2026
Weihnachtsgeschenke können bis zum 31. Januar umgetauscht werden
Zu deiner iMusic Wunschliste hinzufügen
Automated Technology for Verification and Analysis: 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009, Proceedings - Lecture Notes in Computer Science
Zhiming Liu
The 23 regular papers and 3 took papers presented together with 3 invited talks, were carefully reviewed and selected from 74 research papers and 10 tool papers submissions.
425 pages, Illustrations
| Medien | Bücher Taschenbuch (Buch mit Softcover und geklebtem Rücken) |
| Erscheinungsdatum | 29. September 2009 |
| ISBN13 | 9783642047602 |
| Verlag | Springer-Verlag Berlin and Heidelberg Gm |
| Seitenanzahl | 414 |
| Maße | 155 × 235 × 25 mm · 657 g |
| Sprache | Französisch |
| Redakteur | Liu, Zhiming |
| Redakteur | Ravn, Anders P. |
Weitere Titel von Zhiming Liu
Alle anzeigen![Cover for Zhiming Liu · Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday - Theoretical Computer Science and General Issues (Taschenbuch) [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-theoretical-computer-science-and-general-issues-taschenbuch&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 (Taschenbuch) [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-taschenbuch&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 (Taschenbuch) [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-taschenbuch&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 (Taschenbuch) [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-taschenbuch&class=scaled&v=1525268977)
![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 (Taschenbuch) [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-taschenbuch&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 (Taschenbuch) [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-taschenbuch&class=scaled&v=1454574539)
Alle Titel von Zhiming Liu ansehen ( u. a. Taschenbuch )