Orna Grumbergのリリース

iMusicに在庫あり在庫なし商品を表示

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)

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

Cover for Orna Grumberg · 25 Years of Model Checking: History, Achievements, Perspectives - Theoretical Computer Science and General Issues (Paperback Book) [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 (Paperback Book) [2007 edition] (2007)

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