Doron Peled - Böcker
Visar alla böcker från författaren Doron Peled.
3 produkter
3 produkter
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