Dependable Software Systems Engineering

Inbunden, Engelska, 2016

Av Javier Esparza, Orna Grumberg

1 879 kr

Slutsåld

Produktinformation

Utgivningsdatum2016-04-29
FormatInbunden
SpråkEngelska
Upplaga1
FörlagSAGE Publications
ISBN9781614996262

Tillhör följande kategorier

Internationella relationer inom Samhalle och politik

Du kanske också är intresserad av

Logics and Languages for Reliability and Security

Logics and Languages for Reliability and Security

Javier Esparza, Orna Grumberg

1 939 kr

Languages: From Formal to Natural

Languages: From Formal to Natural

Orna Grumberg, Michael Kaminski, Shmuel Katz, Shuly Wintner

709 kr

Computer Aided Verification

Computer Aided Verification

729 kr

Software Safety and Security

Software Safety and Security

Tobias Nipkow, Orna Grumberg

1 939 kr

Unfoldings

Unfoldings

Javier Esparza, Keijo Heljanko

1 459 kr

25 Years of Model Checking

25 Years of Model Checking

Orna Grumberg, Helmut Veith

519 kr

Model Checking

Model Checking

Edmund M. Clarke Jr., Orna Grumberg, Daniel Kroening, Doron Peled, Helmut Veith, Edmund M. Clarke (Carnegie Mellon University) Jr., Orna (Technion) Grumberg, Daniel (Oxford University) Kroening, Doron (Bar Ilan University) Peled, Helmut (Technische Universitaet Darmstadt) Veith, Edmund M. Clarke

1 219 kr

Formal Logical Methods for System Security and Correctness

Formal Logical Methods for System Security and Correctness

Orna Grumberg, Tobias Nipkow

1 369 kr

Tools and Algorithms for the Construction and Analysis of Systems

Tools and Algorithms for the Construction and Analysis of Systems

Orna Grumberg, Michael Huth

1 459 kr

Software Systems Safety

Software Systems Safety

Orna Grumberg, Helmut Seidl

1 939 kr