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

Auteur(s) : Davis, Martin (1928-2023)  Voir les notices liées en tant qu'auteur
Sigal, Ron  Voir les notices liées en tant qu'auteur
Weyuker, Elaine J.  Voir les notices liées en tant qu'auteur

Titre(s) : Computability, complexity, and languages [Texte imprimé] : fundamentals of theoretical computer science / Martin D. Davies,... Ron Sigal,... Elaine J. Weyuker,...

Édition : 2nd ed.

Publication : Boston ; San Diego ; New York [etc.] : Academic press, cop. 1994

Description matérielle : XIX-609 p. : ill. ; 24 cm

Collection : Computer science and scientific computing

Lien à la collection : Computer science and scientific computing  Voir toutes les notices liées

Note(s) : Bibliogr. p. 593-594. Index

Sujet(s) : Théorie des automates mathématiques  Voir les notices liées en tant que sujet
Complexité de calcul (informatique)  Voir les notices liées en tant que sujet
Langages formels  Voir les notices liées en tant que sujet
Langages de programmation -- Sémantique  Voir les notices liées en tant que sujet

Indice(s) Dewey :  005.131 (23e éd.) = Logique symbolique (informatique)  Voir les notices liées en tant que sujet ; 004.015 1 (23e éd.) = Informatique - Principes mathématiques  Voir les notices liées en tant que sujet ; 511.3 (23e éd.) = Logique mathématique  Voir les notices liées en tant que sujet

Identifiants, prix et caractéristiques : ISBN 0-12-206382-1 (rel.)

Identifiant de la notice  : ark:/12148/cb37486366w

Notice n° :  FRBNF37486366