Hoppa till sidans huvudinnehåll

Orna Grumberg – författare

Visar alla böcker från författaren Orna Grumberg.
5 produkter
Orna Grumberg - Computer Aided Verification, Häftad

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

Orna Grumberg, Helmut Veith - 25 Years of Model Checking, Häftad

25 Years of Model Checking

History, Achievements, Perspectives

AvOrna Grumberg,Helmut Veith

Häftad, Engelska, 2008

509 kr

Skickas inom 10-15 vardagar

Orna Grumberg, Michael Huth - Tools and Algorithms for the Construction and Analysis of Systems, Häftad

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 449 kr

Skickas inom 10-15 vardagar

Orna Grumberg, Michael Kaminski, Shmuel Katz, Shuly Wintner - Languages: From Formal to Natural, Häftad

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

Edmund M. Clarke Jr., Orna Grumberg, Daniel Kroening, Doron Peled, Helmut Veith - Model Checking, Inbunden

Model Checking

AvEdmund M. Clarke Jr.,Orna Grumbergm. fl.

Inbunden, Engelska, 2018

939 kr

Tillfälligt slut