Catalogue en ligne Bib Architecture, G.Civil, HYDRAULIQUE

Bibliothèque faculté d'Architacture et de Génie Civil

Faculté d'Architecture et de Génie Civil Bib Centrale Bib SNV Bib STAPS Bib Math-info

Nouvelle recherche

Votre compte

Aide

Auteur J. Strother MOORE

Documents disponibles écrits par cet auteur (1)

Faire une suggestion Affiner la recherche Interroger des sources externes

The Correctness problem in computer science / Robert S. BOYER

Public

ISBD

Titre : The Correctness problem in computer science
Type de document : texte imprimé
Auteurs : Robert S. BOYER, Auteur ; J. Strother MOORE, Auteur
Editeur : Academic Press
Année de publication : 1981
Collection : Computer science classics
Importance : 279 p.
Format : 25 cm.
ISBN/ISSN/EAN : 978-0-12-122920-7
Note générale : index
Langues : Anglais (eng)
Tags : Architecture et théorie des ordinateurs
Index. décimale : 08-04 Architecture et théorie des ordinateurs
Permalink : https://maktabati.univ-usto.dz/pmb_arch/index.php?lvl=notice_display&id=135

The Correctness problem in computer science [texte imprimé] / Robert S. BOYER, Auteur ; J. Strother MOORE, Auteur . - Academic Press, 1981 . - 279 p. ; 25 cm.. - (Computer science classics) .
ISBN : 978-0-12-122920-7
index
Langues : Anglais (eng)
Tags : Architecture et théorie des ordinateurs
Index. décimale : 08-04 Architecture et théorie des ordinateurs
Permalink : https://maktabati.univ-usto.dz/pmb_arch/index.php?lvl=notice_display&id=135

Exemplaires(0)

Disponibilité

aucun exemplaire