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

Tillfälligt slut
Del 1254 - Lecture Notes in Computer Science

Computer Aided Verification

9th International Conference, CAV'97, Haifa, Israel, June 22-25, 1997, Proceedings

Av Orna Grumberg

Häftad, Engelska, 1997

739 kr

Skickas inom 10-15 vardagar

25 Years of Model Checking

History, Achievements, Perspectives

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

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

Av Orna Grumberg, Michael Kaminski m. fl

Häftad, Engelska, 2009

719 kr

Skickas inom 10-15 vardagar

Formal Logical Methods for System Security and Correctness

Av Orna Grumberg, Tobias Nipkow

Inbunden, Engelska, 2008

1 349 kr

Slutsåld

Logics and Languages for Reliability and Security

Av Javier Esparza, Orna Grumberg

Inbunden, Engelska, 2010

1 919 kr

Slutsåld

Software Safety and Security

Tools for Analysis and Verification

Av Tobias Nipkow, Orna Grumberg

Inbunden, Engelska, 2012

1 919 kr

Slutsåld

Software Systems Safety

Av Orna Grumberg, Helmut Seidl

Inbunden, Engelska, 2014

1 919 kr

Slutsåld

Dependable Software Systems Engineering

Av Javier Esparza, Orna Grumberg

Inbunden, Engelska, 2016

1 859 kr

Slutsåld