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

Häftad, Engelska, 2001

1 429 kr

Skickas inom 10-15 vardagar

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

Häftad, Engelska, 1992

1 389 kr

Skickas inom 10-15 vardagar

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

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

Häftad, Engelska, 2012

659 kr

Skickas inom 10-15 vardagar