Type(s) de contenu et mode(s) de consultation : Texte noté : sans médiation

Auteur(s) : Huth, Michael R. A. (1962-....)  Voir les notices liées en tant qu'auteur
Ryan, Mark Dermot (1962-....)  Voir les notices liées en tant qu'auteur

Titre(s) : Logic in computer science [Texte imprimé] : modelling and reasoning about systems / Michael Huth,... Mark Ryan,...

Édition : 2nd ed.

Publication : Cambridge : Cambridge university press, 2004

Description matérielle : 1 vol. (XIV-427 p.) : ill. ; 25 cm

Note(s) : Bibliogr. (p. 414-417)

Sujet(s) : Logique informatique  Voir les notices liées en tant que sujet

Indice(s) Dewey :  005.101 5113 (23e éd.) = Développement de logiciels - Logique mathématique  Voir les notices liées en tant que sujet

Identifiants, prix et caractéristiques : ISBN 052154310X. - ISBN 9780521543101 (br.)

Identifiant de la notice  : ark:/12148/cb41296166g

Notice n° :  FRBNF41296166 (notice reprise d'un réservoir extérieur)