Releases von Orna Grumberg

Auf Lager bei iMusic Nicht verfügbare Artikel anzeigen

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 (Taschenbuch) [2009 edition] (2009)

Languages: From Formal to Natura... (2009)

Cover for Orna Grumberg · 25 Years of Model Checking: History, Achievements, Perspectives - Theoretical Computer Science and General Issues (Taschenbuch) [2008 edition] (2008)

25 Years of Model Checking: Hist... (2008)

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 (Taschenbuch) [2007 edition] (2007)

Tools and Algorithms for the Con... (2007)