Dependable Software Systems Engineering

Inbunden, Engelska, 2015

Av Maximilian Irlbeck, Doron Peled, Alexander Pretschner

1 879 kr

Slutsåld

Produktinformation

Utgivningsdatum2015-05-29
FormatInbunden
SpråkEngelska
Upplaga1
FörlagSAGE Publications
ISBN9781614994947

Tillhör följande kategorier

Internationella relationer inom Samhalle och politik

Du kanske också är intresserad av

Dependable Software Systems Engineering

Dependable Software Systems Engineering

Alexander Pretschner, Doron Peled

1 519 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

Automated Technology for Verification and Analysis

Automated Technology for Verification and Analysis

Cyrille Artho, Axel Legay, Doron Peled

729 kr

Partial Order Methods in Verification

Partial Order Methods in Verification

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

1 859 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

Det borde man ju veta - 3 SAKER

Det borde man ju veta - 3 SAKER

Kylskåpspoesi

229 kr