Bokus

Donald Sannella

Visar alla böcker från författaren Donald Sannella. Handla med fri frakt och snabb leverans.

  1. Automata, Languages and Programming

    Automata, Languages and Programming

    2004

  2. Introduction to Computation

    Introduction to Computation

    2022

  3. Introduction to Computation

    Introduction to Computation

    2022

  4. Trustworthy Global Computing

    Trustworthy Global Computing

    2007

  5. Recent Trends in Data Type Specification

    Recent Trends in Data Type Specification

    1988

  6. Algebraic System Specification and Development

    Algebraic System Specification and Development

    1991

  7. Programming Languages and Systems - ESOP '94

    Programming Languages and Systems - ESOP '94

    1994

  8. Foundations of Algebraic Specification and Formal Software Development

    Foundations of Algebraic Specification and Formal Software Development

    2011

  9. Foundations of Algebraic Specification and Formal Software Development

    Foundations of Algebraic Specification and Formal Software Development

    2012