Bokus

Thomas Jensen

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

  1. Verification, Model Checking, and Abstract Interpretation

    Verification, Model Checking, and Abstract Interpretation

    2026

  2. Java on Smart Cards: Programming and Security

    Java on Smart Cards: Programming and Security

    2001

  3. Smart Card Programming and Security

    Smart Card Programming and Security

    2001

  4. Static Analysis

    Static Analysis

    2015

  5. Planungsstabilität in der Material-Logistik

    Planungsstabilität in der Material-Logistik

    2013