Akademibokhandeln

Frank S. de Boer – författare

Visar alla böcker från Frank S. de Boer. Handla online eller reservera direkt i butik.

  1. Formal Methods for Components and Objects

    Formal Methods for Components and Objects

    2004

  2. Verification of Sequential and Concurrent Programs

    Verification of Sequential and Concurrent Programs

    2012

  3. Theoretical Computer Science

    Theoretical Computer Science

    2012