Kaikki 3s julkaisut Orna Grumberg
Luokat
Muu
Asiakaspalvelu
EUR
Varastossa iMusicilla
Näytä loppuunmyydyt julkaisut
![Cover for Orna Grumberg · Languages: From Formal to Natural: Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday - Programming and Software Engineering (Paperback Book) [2009 edition] (2009)](https://imusic.b-cdn.net/images/item/original/476/9783642017476.jpg?orna-grumberg-2009-languages-from-formal-to-natural-essays-dedicated-to-nissim-francez-on-the-occasion-of-his-65th-birthday-programming-and-software-engineering-paperback-book&class=scaled&v=1542240146)
![Cover for Orna Grumberg · 25 Years of Model Checking: History, Achievements, Perspectives - Theoretical Computer Science and General Issues (Paperback Book) [2008 edition] (2008)](https://imusic.b-cdn.net/images/item/original/494/9783540698494.jpg?orna-grumberg-2008-25-years-of-model-checking-history-achievements-perspectives-theoretical-computer-science-and-general-issues-paperback-book&class=scaled&v=1440665672)
![Cover for Orna Grumberg · Tools and Algorithms for the Construction and Analysis of Systems: 13th International Conference, TACAS 2007 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007 Proceeding (Paperback Book) [2007 edition] (2007)](https://imusic.b-cdn.net/images/item/original/084/9783540712084.jpg?orna-grumberg-2007-tools-and-algorithms-for-the-construction-and-analysis-of-systems-13th-international-conference-tacas-2007-held-as-part-of-the-joint-european-conferences-on-theory-and-practice-of-software-etaps-2007-braga-portugal-march-24-april-1-2007-&class=scaled&v=1519548338)