Doron Peled – författare
Visar alla böcker från författaren Doron Peled.
4 produkter
Partial Order Methods in Verification
Av Doron Peled, Vaughan R. Pratt m. fl.
Inbunden, 1997
2079 kr
Lägg i varukorg
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, 2016
739 kr
Lägg i varukorg
Computer Aided Verification
11th International Conference, CAV'99, Trento, Italy, July 6-10, 1999, Proceedings
Av Nicolas Halbwachs, Doron Peled
Häftad, 1999
739 kr
Lägg i varukorg