Dependable Software Systems Engineering

Häftad, Engelska, 2017

Av Alexander Pretschner, Doron Peled

1 499 kr

Slutsåld

Produktinformation

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

Tillhör följande kategorier

Du kanske också är intresserad av

Dependable Software Systems Engineering

Dependable Software Systems Engineering

Maximilian Irlbeck, Doron Peled, Alexander Pretschner

1 859 kr

Hitster - Christmas

Hitster - Christmas

Jumbo

219 kr259 kr

Model-Based Testing of Reactive Systems

Model-Based Testing of Reactive Systems

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

739 kr

Security and Trust Management

Security and Trust Management

Jorge Cuellar, Javier Lopez, Gilles Barthe, Alexander Pretschner

739 kr

Engineering Secure and Dependable Software Systems

Engineering Secure and Dependable Software Systems

Alexander Pretschner, Peter Müller, Peter Muller

1 649 kr

Automated Technology for Verification and Analysis

Automated Technology for Verification and Analysis

Cyrille Artho, Axel Legay, Doron Peled

739 kr

Partial Order Methods in Verification

Partial Order Methods in Verification

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

1 789 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 919 kr

Computer Aided Verification
Del 1633

Computer Aided Verification

Nicolas Halbwachs, Doron Peled

739 kr