Instruction Sequences for Computer Science, 2012 Atlantis Studies in Computing Series, Vol. 2
Auteurs : Bergstra Jan A, Middelburg Cornelis A.
Contains a complete and self-contained theory about imperative programs based on very elementary principles
Presents the first theory of instruction sequences, a forgotten basic concept of computer science
Provides a new perspective on non-uniform computational complexity
Provides a new perspective on the halting problem
Date de parution : 07-2014
Ouvrage de 232 p.
15.5x23.5 cm
Disponible chez l'éditeur (délai d'approvisionnement : 15 jours).
Prix indicatif 105,49 €
Ajouter au panierDate de parution : 08-2012
Ouvrage de 232 p.
Disponible chez l'éditeur (délai d'approvisionnement : 15 jours).
Prix indicatif 99,37 €
Ajouter au panier