Hoppa till sidans huvudinnehåll

Orna Grumberg - Böcker

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

AvOrna Grumberg

Häftad, Engelska, 1997

719 kr

Skickas inom 10-15 vardagar

25 Years of Model Checking

History, Achievements, Perspectives

AvOrna Grumberg,Helmut Veith

Häftad, Engelska, 2008

509 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 439 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

699 kr

Skickas inom 10-15 vardagar

Model Checking

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

Inbunden, Engelska, 2018

939 kr

Tillfälligt slut