Doron Peled – författare
Visar alla böcker från författaren Doron Peled.
4 produkter
4 produkter
1 959 kr
Skickas inom 11-20 vardagar
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
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
Häftad, Engelska, 1999
719 kr
Skickas inom 10-15 vardagar
939 kr
Tillfälligt slut