Instruction Sequences for Computer Science: Atlantis Studies in Computing, cartea 2
Autor Jan A. Bergstra, Cornelis A. Middelburgen Limba Engleză Hardback – 22 iun 2012
Preț: 518.53 lei
Preț vechi: 848.92 lei
-39%
Puncte Express: 778
Carte indisponibilă temporar
Livrare prin curier în România Termenul estimat este afișat lângă disponibilitate.
Transport gratuit pentru acest produs Plată online sau ramburs, în funcție de opțiunile comenzii.
Retur gratuit în 14 zile Comandă securizată și suport în română.
Specificații
ISBN-13: 9789491216640
ISBN-10: 9491216643
Pagini: 248
Ilustrații: XVI, 232 p.
Dimensiuni: 160 x 241 x 19 mm
Greutate: 0.54 kg
Ediția:2012
Editura: ATLANTIS PRESS
Colecția Atlantis Studies in Computing
Seria Atlantis Studies in Computing
Locul publicării:Paris, Netherlands
ISBN-10: 9491216643
Pagini: 248
Ilustrații: XVI, 232 p.
Dimensiuni: 160 x 241 x 19 mm
Greutate: 0.54 kg
Ediția:2012
Editura: ATLANTIS PRESS
Colecția Atlantis Studies in Computing
Seria Atlantis Studies in Computing
Locul publicării:Paris, Netherlands
Public țintă
ResearchCuprins
Introduction.- Instruction Sequences.- Instruction Processing.- Expressiveness of Instruction Sequences.- Computation-Theoretic Issues.- Computer-Architectural Issues.- Instruction Sequences and Process Algebra.- Variations on a Theme.- Appendix A: Five Challenges for Projectionism.- Appendix B: Natural Number Functional Units.- Appendix C: Dynamically Instantiated Instructions.- Appendix D: Analytic Execution Architectures.
Caracteristici
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