Doron Peled - Böcker

Visar alla böcker från författaren Doron Peled.
7 produkter
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 799 kr

Tillfälligt slut
Manfred Broy, Doron Peled - Engineering Dependable Software Systems, Inbunden

Engineering Dependable Software Systems

Av Manfred Broy, Doron Peled

Inbunden, Engelska, 2013

1 989 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 939 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 559 kr

Slutsåld
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 7-10 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

729 kr

Skickas inom 7-10 vardagar