Hoppa till sidans huvudinnehåll

Alain Finkel – författare

Visar alla böcker från författaren .
4 produkter
Gerard Berry, Hubert Comon, Alain Finkel - Computer Aided Verification, Häftad

Computer Aided Verification

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

AvGerard Berry,Hubert Comonm. fl.

Häftad, Engelska, 2001

1 449 kr

Skickas inom 10-15 vardagar

Alain Finkel, Matthias Jantzen - STACS 92, Häftad

STACS 92

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

AvAlain Finkel,Matthias Jantzen

Häftad, Engelska, 1992

1 449 kr

Skickas inom 10-15 vardagar

Patrice Enjalbert, Alain Finkel, Klaus W. Wagner - STACS 93, Häftad

STACS 93

10th Annual Symposium on Theoretical Aspects of Computer Science, Würzburg, Germany, February 25-27, 1993. Proceedings

AvPatrice Enjalbert,Alain Finkelm. fl.

Häftad, Engelska, 1993

1 449 kr

Skickas inom 10-15 vardagar

Alain Finkel, Jerome Leroux, Igor Potapov - Reachability Problems, Häftad

Reachability Problems

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

AvAlain Finkel,Jerome Lerouxm. fl.

Häftad, Engelska, 2012

669 kr

Skickas inom 10-15 vardagar