Orna Grumberg - Böcker

Visar alla böcker från författaren Orna Grumberg.
10 produkter
Orna Grumberg, Tobias Nipkow - Formal Logical Methods for System Security and Correctness, Inbunden

Formal Logical Methods for System Security and Correctness

Av Orna Grumberg, Tobias Nipkow

Inbunden, Engelska, 2008

1 409 kr

Slutsåld
Javier Esparza, Orna Grumberg - Logics and Languages for Reliability and Security, Inbunden

Logics and Languages for Reliability and Security

Av Javier Esparza, Orna Grumberg

Inbunden, Engelska, 2010

1 989 kr

Slutsåld
Tobias Nipkow, Orna Grumberg - Software Safety and Security, Inbunden

Software Safety and Security

Av Tobias Nipkow, Orna Grumberg

Inbunden, Engelska, 2012

1 989 kr

Slutsåld
Orna Grumberg, Helmut Seidl - Software Systems Safety, Inbunden

Software Systems Safety

Av Orna Grumberg, Helmut Seidl

Inbunden, Engelska, 2014

1 989 kr

Slutsåld
Javier Esparza, Orna Grumberg - Dependable Software Systems Engineering, Inbunden

Dependable Software Systems Engineering

Av Javier Esparza, Orna Grumberg

Inbunden, Engelska, 2016

1 939 kr

Slutsåld
Orna Grumberg - Computer Aided Verification, Häftad
Del 1254 - Lecture Notes in Computer Science

Computer Aided Verification

Av Orna Grumberg

Häftad, Engelska, 1997

729 kr

Skickas inom 7-10 vardagar
Orna Grumberg, Helmut Veith - 25 Years of Model Checking, Häftad

25 Years of Model Checking

Av Orna Grumberg, Helmut Veith

Häftad, Engelska, 2008

519 kr

Skickas inom 7-10 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

Av Orna Grumberg, Michael Huth

Häftad, Engelska, 2007

1 449 kr

Skickas inom 7-10 vardagar
Orna Grumberg, Michael Kaminski, Shmuel Katz, Shuly Wintner - Languages: From Formal to Natural, Häftad

Languages: From Formal to Natural

Av Orna Grumberg, Michael Kaminski, Shmuel Katz, Shuly Wintner

Häftad, Engelska, 2009

709 kr

Skickas inom 7-10 vardagar