Hoppa till sidans huvudinnehåll

Doron Peled – författare

Visar alla böcker från författaren Doron Peled.
4 produkter
Doron Peled, Vaughan R. Pratt, Gerard J. Holzmann - Partial Order Methods in Verification, Inbunden

Partial Order Methods in Verification

AvDoron Peled,Vaughan R. Prattm. fl.

Inbunden, Engelska, 1997

2 019 kr

Skickas inom 11-20 vardagar

Cyrille Artho, Axel Legay, Doron Peled - Automated Technology for Verification and Analysis, Häftad
Del 9938 - Lecture Notes in Computer Science

Automated Technology for Verification and Analysis

14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings

AvCyrille Artho,Axel Legaym. fl.

Häftad, Engelska, 2016

729 kr

Skickas inom 10-15 vardagar

Nicolas Halbwachs, Doron Peled - Computer Aided Verification, Häftad

Computer Aided Verification

11th International Conference, CAV'99, Trento, Italy, July 6-10, 1999, Proceedings

AvNicolas Halbwachs,Doron Peled

Häftad, Engelska, 1999

729 kr

Skickas inom 10-15 vardagar

Edmund M. Clarke Jr., Orna Grumberg, Daniel Kroening, Doron Peled, Helmut Veith - Model Checking, Inbunden

Model Checking

AvEdmund M. Clarke Jr.,Orna Grumbergm. fl.

Inbunden, Engelska, 2018

939 kr

Tillfälligt slut