Cantitate/Preț
Produs

Instruction Sequences for Computer Science: Atlantis Studies in Computing, cartea 2

Autor Jan A. Bergstra, Cornelis A. Middelburg
en Limba Engleză Paperback – 18 iul 2014
This book demonstrates that the concept of an instruction sequence offers a novel and useful viewpoint on issues relating to diverse subjects in computer science. Selected issues relating to well-known subjects from the theory of computation and the area of computer architecture are rigorously investigated in this book thinking in terms of instruction sequences. The subjects from the theory of computation, to wit the halting problem and non-uniform computational complexity,are usually investigated thinking in terms of a common model of computation such as Turing machines and Boolean circuits. The subjects from the area of computer architecture, to wit instruction sequence performance, instruction set architectures and remote instruction processing, are usually not investigated in a rigorous way at all.
Citește tot Restrânge

Toate formatele și edițiile

Toate formatele și edițiile Preț Express
Paperback (1) 59114 lei  38-44 zile
  ATLANTIS PRESS – 18 iul 2014 59114 lei  38-44 zile
Hardback (1) 60248 lei  38-44 zile
  ATLANTIS PRESS – 22 iun 2012 60248 lei  38-44 zile

Din seria Atlantis Studies in Computing

Preț: 59114 lei

Preț vechi: 73893 lei
-20% Nou

Puncte Express: 887

Preț estimativ în valută:
11312 11901$ 9366£

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

Public țintă

Research

Cuprins

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