The correctness problem in computer science

Public ISBD Titre : The correctness problem in computer science Type de document : texte imprimé Auteurs : Robert S. Boyer (19..-....), Éditeur scientifique ; J. Strother Moore, Éditeur scientifique Editeur : London : Academic Press Année de publication : 1981 Collection : International Lecture Series in Computer Science Importance : 279 p. Présentation : ill., couv. ill. en coul. Format : 24 cm. ISBN/ISSN/EAN : 0-12-122920-3 Note générale : References. p.272-273. Index. Langues : Anglais (eng) Index. décimale : 08-04-Architecture et théorie des ordinateurs The correctness problem in computer science [texte imprimé] / Robert S. Boyer (19..-....), Éditeur scientifique ; J. Strother Moore, Éditeur scientifique . - London : Academic Press, 1981 . - 279 p. : ill., couv. ill. en coul. ; 24 cm.. - (International Lecture Series in Computer Science) . ISBN : 0-12-122920-3 References. p.272-273. Index. Langues : Anglais (eng) Index. décimale : 08-04-Architecture et théorie des ordinateurs

Réservation

Réserver ce document

Exemplaires (2)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
183*	08-04-03	Livre	Bibliothèque de faculté d'informatique et mathématique	Informatique	Disponible
7129/2	08-04-03	Livre	Bibliothèque de faculté d'informatique et mathématique	Informatique	Disponible

---

1 (1 - 1 / 1) Par page : 25 50 100 200