Doron Peled - Böcker

Visar alla böcker från författaren Doron Peled.
7 produkter
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 - Model Checking, Inbunden

Model Checking

Av 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

Inbunden, Engelska, 2018

1 219 kr

Skickas inom 11-20 vardagar
Doron Peled, Vaughan R. Pratt, Gerard J. Holzmann - Partial Order Methods in Verification, Inbunden

Partial Order Methods in Verification

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

Inbunden, Engelska, 1997

1 859 kr

Tillfälligt slut
Cyrille Artho, Axel Legay, Doron Peled - Automated Technology for Verification and Analysis, Häftad

Automated Technology for Verification and Analysis

Av Cyrille Artho, Axel Legay, Doron Peled

Häftad, Engelska, 2016

739 kr

Skickas inom 10-15 vardagar
Nicolas Halbwachs, Doron Peled - Computer Aided Verification, Häftad
Del 1633 - Lecture Notes in Computer Science

Computer Aided Verification

Av Nicolas Halbwachs, Doron Peled

Häftad, Engelska, 1999

739 kr

Skickas inom 10-15 vardagar
Manfred Broy, Doron Peled - Engineering Dependable Software Systems, Inbunden

Engineering Dependable Software Systems

Av Manfred Broy, Doron Peled

Inbunden, Engelska, 2013

1 919 kr

Slutsåld
Maximilian Irlbeck, Doron Peled, Alexander Pretschner - Dependable Software Systems Engineering, Inbunden

Dependable Software Systems Engineering

Av Maximilian Irlbeck, Doron Peled, Alexander Pretschner

Inbunden, Engelska, 2015

1 859 kr

Slutsåld
Alexander Pretschner, Doron Peled - Dependable Software Systems Engineering, Häftad

Dependable Software Systems Engineering

Av Alexander Pretschner, Doron Peled

Häftad, Engelska, 2017

1 499 kr

Slutsåld