Doron Peled – författare

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

4 produkter

Kategorier

4 produkter

Partial Order Methods in Verification
AvDoron Peled,Vaughan R. Prattm. fl.
Inbunden, Engelska, 1997
1 859 kr
Skickas inom 5-8 vardagar
Del 9938
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
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
Model Checking
AvEdmund M. Clarke Jr.,Orna Grumbergm. fl.
Inbunden, Engelska, 2018
939 kr
Tillfälligt slut