Orna Grumberg – författare
Visar alla böcker från författaren Orna Grumberg.
5 produkter
Computer Aided Verification
9th International Conference, CAV'97, Haifa, Israel, June 22-25, 1997, Proceedings
Häftad, 1997
739 kr
Lägg i varukorg
25 Years of Model Checking
History, Achievements, Perspectives
Av Orna Grumberg, Helmut Veith
Häftad, 2008
519 kr
Lägg i varukorg
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 Proceedings
Av Orna Grumberg, Michael Huth
Häftad, 2007
1469 kr
Lägg i varukorg
Languages: From Formal to Natural
Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday
Av Orna Grumberg, Michael Kaminski m. fl.
Häftad, 2009
719 kr
Lägg i varukorg