• Livre

Logic in computer science : modelling and reasoning about systems / Michael Huth, Mark Ryan

Recherche de la disponibilité
Titre
Logic in computer science : modelling and reasoning about systems / Michael Huth, Mark Ryan
Auteur
Contributeur
Edition
2nd ed., 4th print..
Editeur
Cambridge : Cambridge Univ. Press
Date
2008
Collation
427 p. : ill.
Classification
Identifiant
9780521543101 (pbk) (ISBN)
No RERO
R004927297
Permalien
http://data.rero.ch/01-R004927297/html?view=FR_V1
Plus…
Chargement
Erreur de chargement