Orna Grumberg – författare

Visar alla böcker från författaren Orna Grumberg.

5 produkter

Kategorier

5 produkter

Computer Aided Verification
9th International Conference, CAV'97, Haifa, Israel, June 22-25, 1997, Proceedings
AvOrna Grumberg
Häftad, Engelska, 1997
729 kr
Skickas inom 10-15 vardagar
25 Years of Model Checking
History, Achievements, Perspectives
AvOrna Grumberg,Helmut Veith
Häftad, Engelska, 2008
519 kr
Skickas inom 10-15 vardagar
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
AvOrna Grumberg,Michael Huth
Häftad, Engelska, 2007
1 459 kr
Skickas inom 10-15 vardagar
Languages: From Formal to Natural
Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday
AvOrna Grumberg,Michael Kaminskim. fl.
Häftad, Engelska, 2009
709 kr
Skickas inom 10-15 vardagar
Model Checking
AvEdmund M. Clarke Jr.,Orna Grumbergm. fl.
Inbunden, Engelska, 2018
939 kr
Tillfälligt slut