Hoppa till sidans huvudinnehåll

Doron Peled - Böcker

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

Model Checking

AvEdmund M. Clarke Jr.,Orna Grumberg m. fl.

Inbunden, Engelska, 2018

1 219 kr

Tillfälligt slut

Automated Technology for Verification and Analysis

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

AvCyrille Artho,Axel Legay m. fl.

Häftad, Engelska, 2016

719 kr

Skickas inom 10-15 vardagar

Computer Aided Verification

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

AvNicolas Halbwachs,Doron Peled

Häftad, Engelska, 1999

719 kr

Skickas inom 10-15 vardagar