Instruction Sequences for Computer Science: Atlantis Studies in Computing, cartea 2
Autor Jan A. Bergstra, Cornelis A. Middelburgen Limba Engleză Paperback – 18 iul 2014
Toate formatele și edițiile | Preț | Express |
---|---|---|
Paperback (1) | 591.14 lei 38-44 zile | |
ATLANTIS PRESS – 18 iul 2014 | 591.14 lei 38-44 zile | |
Hardback (1) | 602.48 lei 38-44 zile | |
ATLANTIS PRESS – 22 iun 2012 | 602.48 lei 38-44 zile |
Preț: 591.14 lei
Preț vechi: 738.93 lei
-20% Nou
Puncte Express: 887
Preț estimativ în valută:
113.12€ • 119.01$ • 93.66£
113.12€ • 119.01$ • 93.66£
Carte tipărită la comandă
Livrare economică 10-16 ianuarie 25
Preluare comenzi: 021 569.72.76
Specificații
ISBN-13: 9789462390492
ISBN-10: 9462390495
Pagini: 248
Ilustrații: XVI, 232 p.
Dimensiuni: 155 x 235 x 13 mm
Greutate: 0.35 kg
Ediția:2012
Editura: ATLANTIS PRESS
Colecția Atlantis Press
Seria Atlantis Studies in Computing
Locul publicării:Paris, Netherlands
ISBN-10: 9462390495
Pagini: 248
Ilustrații: XVI, 232 p.
Dimensiuni: 155 x 235 x 13 mm
Greutate: 0.35 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