Alain Finkel - Böcker

Visar alla böcker från författaren Alain Finkel.

4 produkter

Kategorier

4 produkter

Computer Aided Verification

13th International Conference, CAV 2001, Paris, France, July 18-22, 2001. Proceedings

Av Gerard Berry, Hubert Comon m. fl

Häftad, Engelska, 2001

1 439 kr

Skickas inom 10-15 vardagar

STACS 92

9th Annual Symposium on Theoretical Aspects of Computer Science, Cachan, France, February 13-15, 1992. Proceedings

Av Alain Finkel, Matthias Jantzen

Häftad, Engelska, 1992

1 399 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

Av Patrice Enjalbert, Alain Finkel m. fl

Häftad, Engelska, 1993

1 439 kr

Skickas inom 10-15 vardagar

Reachability Problems

6th International Workshop, RP 2012, Bordeaux, France, September 17-19, 2012. Proceedings

Av Alain Finkel, Jerome Leroux m. fl

Häftad, Engelska, 2012

669 kr

Skickas inom 10-15 vardagar