Hoppa till sidans huvudinnehåll

Orna Grumberg - Böcker

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

Model Checking

AvEdmund M. Clarke Jr.,Orna Grumberg m. fl.

Inbunden, Engelska, 2018

1 219 kr

Tillfälligt slut

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 429 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 Kaminski m. fl.

Häftad, Engelska, 2009

699 kr

Skickas inom 10-15 vardagar