Instruction Sequences for Computer Science (Paperback, 2012 ed.)

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.

General

Imprint:	Atlantis Press (Zeger Karssen)
Country of origin:	Netherlands
Series:	Atlantis Studies in Computing, 2
Release date:	July 2014
First published:	2012
Authors:	Jan A. Bergstra • Cornelis A Middelburg
Dimensions:	235 x 155 x 13mm (L x W x T)
Format:	Paperback
Pages:	232
Edition:	2012 ed.
ISBN-13:	978-9462390492
Categories:	Books > Computing & IT > General theory of computing > Mathematical theory of computation Books > Computing & IT > Social & legal aspects of computing > Human-computer interaction Books > Computing & IT > Computer programming > Programming languages > General Promotions
LSN:	9462390495
Barcode:	9789462390492

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!