Alain Finkel – författare

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
AvGerard Berry,Hubert Comonm. fl.
Häftad, Engelska, 2001
1 459 kr
Skickas inom 10-15 vardagar
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 459 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
AvPatrice Enjalbert,Alain Finkelm. fl.
Häftad, Engelska, 1993
1 459 kr
Skickas inom 10-15 vardagar
Reachability Problems
6th International Workshop, RP 2012, Bordeaux, France, September 17-19, 2012. Proceedings
AvAlain Finkel,Jerome Lerouxm. fl.
Häftad, Engelska, 2012
679 kr
Skickas inom 10-15 vardagar