Hoppa till sidans huvudinnehåll

Orna Grumberg - Böcker

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

Model Checking

Av Edmund 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

Av Orna Grumberg

Häftad, Engelska, 1997

729 kr

Skickas inom 10-15 vardagar

25 Years of Model Checking

History, Achievements, Perspectives

Av Orna 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

Av Orna 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

Av Orna Grumberg, Michael Kaminski m. fl

Häftad, Engelska, 2009

709 kr

Skickas inom 10-15 vardagar

Formal Logical Methods for System Security and Correctness

Av Orna Grumberg, Tobias Nipkow

Inbunden, Engelska, 2008

1 369 kr

Slutsåld

Logics and Languages for Reliability and Security

Av Javier Esparza, Orna Grumberg

Inbunden, Engelska, 2010

1 939 kr

Slutsåld

Software Safety and Security

Tools for Analysis and Verification

Av Tobias Nipkow, Orna Grumberg

Inbunden, Engelska, 2012

1 939 kr

Slutsåld

Software Systems Safety

Av Orna Grumberg, Helmut Seidl

Inbunden, Engelska, 2014

1 939 kr

Slutsåld

Dependable Software Systems Engineering

Av Javier Esparza, Orna Grumberg

Inbunden, Engelska, 2016

1 879 kr

Slutsåld