Jan A. Bergstra – författare
Visar alla böcker från författaren Jan A. Bergstra. Handla med fri frakt och snabb leverans.
4 produkter
Algebraic Methods: Theory, Tools and Applications
Av Martin Wirsing, Jan A. Bergstra
Häftad, 1989
1128 kr
Lägg i varukorg
Algebraic Methods II: Theory, Tools and Applications
Av Jan A. Bergstra, Loe M.G. Feijs
Häftad, 1991
551 kr
Lägg i varukorg
The proper treatment and choice of the basic data structures is an important and complex part in the process of program construction. Algebraic methods provide techniques for data abstraction and the structured specification, validation and analysis of data structures. This volume originates from a …
Instruction Sequences for Computer Science
Av Jan A Bergstra, Cornelis A. Middelburg
Inbunden, 2012
1126 kr
Lägg i varukorg
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 …
Instruction Sequences for Computer Science
Av Cornelis A. Middelburg, Jan A Bergstra
E-bok, 2012
1502 kr
Lägg i varukorg
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 …