Logic in computer science [ Livre] : modelling and reasoning about systems / Huth Michael ; Ryan Mark D.

Langue: Anglais.Publication : Cambridge University Press, 2004Description : 450 p. ; ill. ; 25 cmISBN: 052154310X.Classification: F 4 1 Logique mathématiqueSujet - Nom commun: Programmation logique | Logique informatique
Current location Call number Status Notes Date due Barcode
ENS Rennes - Bibliothèque
Informatique
F 4 1 HUT (Browse shelf) Exclu du prêt F 4 1 Logique mathématique 00010741
ENS Rennes - Bibliothèque
Informatique
F 4 1 HUT (Browse shelf) Available F 4 1 Logique mathématique 000107411

Powered by Koha