Pierre Wolper

Popular items by Pierre Wolper

View all offers

Computer Aided Verification: 7th International Conference, CAV '95, Liege, Belgium, July 3 - 5, 1995. Proceedings: 939 (Lecture Notes in Computer Science, 939)

Item prices starting from

� 9.10

View 13 offers

Also find
New, Used
Introduction � la calculabilit� - 3�me �dition: Cours et exercices corrig�s
Wolper, Pierre

Item prices starting from

� 16.08

View 1 offer

Also find
Used
Introduction � la calculabilit�: Cours et exercices corrig�s, 2�me �dition
Wolper, Pierre

Item prices starting from

� 35.07

View 1 offer

Also find
Used