Alain Finkel - Böcker
Visar alla böcker från författaren Alain Finkel.
4 produkter
4 produkter
Computer Aided Verification
13th International Conference, CAV 2001, Paris, France, July 18-22, 2001. Proceedings
Häftad, Engelska, 2001
1 429 kr
Skickas inom 10-15 vardagar
STACS 92
9th Annual Symposium on Theoretical Aspects of Computer Science, Cachan, France, February 13-15, 1992. Proceedings
Häftad, Engelska, 1992
1 429 kr
Skickas inom 10-15 vardagar
STACS 93
10th Annual Symposium on Theoretical Aspects of Computer Science, Würzburg, Germany, February 25-27, 1993. Proceedings
Häftad, Engelska, 1993
1 429 kr
Skickas inom 10-15 vardagar
Reachability Problems
6th International Workshop, RP 2012, Bordeaux, France, September 17-19, 2012. Proceedings
Häftad, Engelska, 2012
659 kr
Skickas inom 10-15 vardagar