Instruction Sequences for Computer Science
Autor Jan A. Bergstra, Cornelis a Middelburgen Limba Engleză Paperback – 18 iul 2014
Preț: 683.42 lei
Preț vechi: 854.27 lei
-20% Nou
Puncte Express: 1025
Preț estimativ în valută:
120.95€ • 141.85$ • 106.05£
120.95€ • 141.85$ • 106.05£
Carte disponibilă
Livrare economică 31 decembrie 25 - 06 ianuarie 26
Livrare express 20-26 decembrie pentru 73.27 lei
Preluare comenzi: 021 569.72.76
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