Instruction Sequences for Computer Science
Autor Jan A. Bergstra, Cornelis a Middelburgen Limba Engleză Paperback – 18 iul 2014
Preț: 689.11 lei
Preț vechi: 861.39 lei
-20%
Puncte Express: 1034
Preț estimativ în valută:
121.87€ • 143.01$ • 105.70£
121.87€ • 143.01$ • 105.70£
Carte disponibilă
Livrare economică 11-17 februarie
Livrare express 30 ianuarie-05 februarie pentru 73.77 lei
Specificații
ISBN-13: 9789462390492
ISBN-10: 9462390495
Pagini: 232
Ilustrații: XVI, 232 p.
Dimensiuni: 155 x 235 x 14 mm
Greutate: 0.38 kg
Ediția:2012 edition
Editura: ATLANTIS PRESS
Locul publicării:Paris, Netherlands
ISBN-10: 9462390495
Pagini: 232
Ilustrații: XVI, 232 p.
Dimensiuni: 155 x 235 x 14 mm
Greutate: 0.38 kg
Ediția:2012 edition
Editura: ATLANTIS PRESS
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