Hoppa till sidans huvudinnehåll

Doron Peled - Böcker

Visar alla böcker från författaren Doron Peled.
7 produkter

Model Checking

Av Edmund M. Clarke Jr., Orna Grumberg m. fl

Inbunden, Engelska, 2018

1 219 kr

Tillfälligt slut

Partial Order Methods in Verification

Av Doron Peled, Vaughan R. Pratt m. fl

Inbunden, Engelska, 1997

1 859 kr

Tillfälligt slut

Automated Technology for Verification and Analysis

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

Av Cyrille Artho, Axel Legay m. fl

Häftad, Engelska, 2016

729 kr

Skickas inom 10-15 vardagar

Computer Aided Verification

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

Av Nicolas Halbwachs, Doron Peled

Häftad, Engelska, 1999

729 kr

Skickas inom 10-15 vardagar

Engineering Dependable Software Systems

Av Manfred Broy, Doron Peled

Inbunden, Engelska, 2013

1 939 kr

Slutsåld

Dependable Software Systems Engineering

Av Maximilian Irlbeck, Doron Peled m. fl

Inbunden, Engelska, 2015

1 879 kr

Slutsåld

Dependable Software Systems Engineering

Av Alexander Pretschner, Doron Peled

Häftad, Engelska, 2017

1 519 kr

Slutsåld