Bokus

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

  1. Martin Wirsing, Jan A. Bergstra - Algebraic Methods: Theory, Tools and Applications, Häftad. Tillgänglighet: Lägg i varukorg

    Algebraic Methods: Theory, Tools and Applications

    Av Martin Wirsing, Jan A. Bergstra

    Häftad, 1989

    1128 kr

    Lägg i varukorg

  2. Jan A. Bergstra, Loe M.G. Feijs - Algebraic Methods II: Theory, Tools and Applications, Häftad. Tillgänglighet: 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 …

  3. Jan A Bergstra, Cornelis A. Middelburg - Instruction Sequences for Computer Science, Inbunden. Tillgänglighet: Lägg i varukorg

    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 …

  4. Cornelis A. Middelburg, Jan A Bergstra - Instruction Sequences for Computer Science, E-bok. Tillgänglighet: Lägg i varukorg

    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 …