A First course in formal logic and its applications in computer science

A First course in formal logic and its applications in computer science

Enregistré dans:
Détails bibliographiques
Auteurs principaux : Dowsing R.D (Auteur), Walter C.D (Auteur), Rayward-Smith V.J (Auteur)
Format : Livre
Langue : anglais
Titre complet : A First course in formal logic and its applications in computer science / R.D. Dowsing, V.J. Rayward-Smith, C.D. Walter
Publié : Oxford, Boston, Melbourne : Blackwell Scientific Publ. , 1986
Description matérielle : VI-265 p.
Collection : Computer science texts

BU Censive

Informations d'exemplaires de BU Censive
‌ Cote Prêt Statut
Bât. Censive, 1er étage, salle 111 L DOW 22277 Empruntable Disponible

Bib. CRDM (Mathématiques)

Informations d'exemplaires de Bib. CRDM (Mathématiques)
‌ Cote Prêt Statut
Bibliothèque 68C194 Prêt sans prolongation Disponible