Logique: Volume 2:méthodes formelles pour l'étude des programmes

Gochet, Paul

Logique: Volume 2:méthodes formelles pour l'étude des programmes Paul Gochet - Paris: Hermes cop. 2000 - 394 p. ill. en noire; couv. il. en coul. 24 cm

Bibliographie: pp.(337-343)
Indexe: pp.(346-351)

2-86601-395-6


Paul Gochet


Logique

© 2008, Bibliothèques de l'Université d'Abomey-Calavi

04 BP 789 Cotonou, Tél. : +229 21 36 01 01, Fax : +229 21 35 06 32

Courriel : bu@bu.uac.bj