Description
Instruction Sequences for Computer Science, 2012
Atlantis Studies in Computing Series, Vol. 2
Authors: Bergstra Jan A, Middelburg Cornelis A.
Language: EnglishSubjects for Instruction Sequences for Computer Science:
Approximative price 105.49 €
In Print (Delivery period: 15 days).
Add to cart the book of Bergstra Jan A, Middelburg Cornelis A.Publication date: 07-2014
232 p. · 15.5x23.5 cm · Paperback
Approximative price 99.37 €
In Print (Delivery period: 15 days).
Add to cart the book of Bergstra Jan A, Middelburg Cornelis A.Publication date: 08-2012
232 p. · Hardback
Description
/li>Contents
/li>Comment
/li>
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
These books may interest you
Complexity and Real Computation 52.74 €