Dependable Software Systems Engineering

Häftad, Engelska, 2017

Av Alexander Pretschner, Doron Peled

1 519 kr

Slutsåld

Produktinformation

Utgivningsdatum2017-10-29
FormatHäftad
SpråkEngelska
Upplaga1
FörlagSAGE Publications
ISBN9781614998099

Tillhör följande kategorier

IT-säkerhet inom Data och it

Du kanske också är intresserad av

Dependable Software Systems Engineering

Dependable Software Systems Engineering

Maximilian Irlbeck, Doron Peled, Alexander Pretschner

1 879 kr

Model-Based Testing of Reactive Systems

Model-Based Testing of Reactive Systems

Manfred Broy, Bengt Jonsson, Joost-Pieter Katoen, Martin Leucker, Alexander Pretschner

729 kr

Security and Trust Management

Security and Trust Management

Jorge Cuellar, Javier Lopez, Gilles Barthe, Alexander Pretschner

729 kr

Engineering Secure and Dependable Software Systems

Engineering Secure and Dependable Software Systems

Alexander Pretschner, Peter Müller, Peter Muller

1 669 kr

Partial Order Methods in Verification

Partial Order Methods in Verification

Doron Peled, Vaughan R. Pratt, Gerard J. Holzmann

1 849 kr

Automated Technology for Verification and Analysis

Automated Technology for Verification and Analysis

Cyrille Artho, Axel Legay, Doron Peled

729 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

Engineering Dependable Software Systems

Engineering Dependable Software Systems

Manfred Broy, Doron Peled

1 939 kr

Computer Aided Verification

Computer Aided Verification

Nicolas Halbwachs, Doron Peled

729 kr

Din kropp vet svaret

Nyhet

Din kropp vet svaret

329 kr