Cărți de Alain Finkel

Computer Aided Verification: 13th International Conference, CAV 2001, Paris, France, July 18-22, 2001. Proceedings

Lecture Notes in Computer Science, nr. 2102

Editat de Gerard Berry et al.

4 iul 2001

Preț: 632^.09 lei 790^.11 lei

6-8 săpt.

-20%

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

Lecture Notes in Computer Science, nr. 665

Editat de Patrice Enjalbert et al.

19 feb 1993

Preț: 641^.77 lei 802^.21 lei

6-8 săpt.

-20%

Reachability Problems

Editat de Alain Finkel et al.

17 aug 2012

Preț: 286^.91 lei 358^.64 lei

6-8 săpt.

-20%

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

Lecture Notes in Computer Science, nr. 577

Editat de Alain Finkel et al.

4 feb 1992

Preț: 637^.02 lei 796^.27 lei

6-8 săpt.

-20%