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 informatiqueCurrent 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 |