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