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ț: 652.06 lei
Preț vechi: 815.07 lei
-20% Nou
Puncte Express: 978
Preț estimativ în valută:
115.38€ • 135.48$ • 101.27£
115.38€ • 135.48$ • 101.27£
Carte tipărită la comandă
Livrare economică 23-29 ianuarie 26
Preluare comenzi: 021 569.72.76
Specificații
ISBN-13: 9789491216640
ISBN-10: 9491216643
Pagini: 225
Ilustrații: XVI, 232 p.
Dimensiuni: 155 x 235 x 20 mm
Greutate: 0.53 kg
Ediția:2012
Editura: ATLANTIS PRESS
Colecția Atlantis Press
Seria Atlantis Studies in Computing
Locul publicării:Paris, Netherlands
ISBN-10: 9491216643
Pagini: 225
Ilustrații: XVI, 232 p.
Dimensiuni: 155 x 235 x 20 mm
Greutate: 0.53 kg
Ediția:2012
Editura: ATLANTIS PRESS
Colecția Atlantis Press
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