Logique - Volume 2, Méthodes Formelles Pour L'étude Des Programmes | DealShopping France