Instruction Sequences for Computer Science
Autor Jan A. Bergstra, Cornelis a Middelburgen Limba Engleză Paperback – 18 iul 2014
Preț: 524.10 lei
Preț vechi: 918.31 lei
-43%
Puncte Express: 786
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: 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