Filtrera

Ämne
  • (1)
  • (9)
  • (1)
  • (3)
  • (1)
  • (1)
  • (1)
Format
  • (1)
  • (9)
Utgivningsår
  • (3)
  • (1)
  • (6)
Leveranstid
  • (3)

Bernd Finkbeiner - Böcker

Visar alla böcker av Bernd Finkbeiner. Handla med fri frakt och snabb leverans!

Sortering:
  1. Runtime Verification

    av Bernd Finkbeiner, Leonardo Mariani

    Häftad, Engelska, 2019-10-04
    766
    Skickas från oss inom 10-15 vardagar.
  2. Fields of Logic and Computation III

    av Andreas Blass, Patrick Cgielski, Nachum Dershowitz, Manfred Droste, Bernd Finkbeiner

    Häftad, Engelska, 2020-05-23
    591
    Skickas från oss inom 10-15 vardagar.
  3. Verification, Model Checking, and Abstract Interpretation

    av Bernd Finkbeiner, Thomas Wies

    Häftad, Engelska, 2022-01-14
    1050
    Skickas från oss inom 10-15 vardagar.
  4. Tools and Algorithms for the Construction and Analysis of Systems

    av Bernd Finkbeiner, Laura Kovcs

    Häftad, Engelska, 2024-04-04
    534
    Skickas från oss inom 5-8 vardagar.
  5. Tools and Algorithms for the Construction and Analysis of Systems

    av Bernd Finkbeiner, Laura Kovcs

    Häftad, Engelska, 2024-04-05
    549
    Skickas från oss inom 5-8 vardagar.
  6. Tools and Algorithms for the Construction and Analysis of Systems

    av Bernd Finkbeiner, Laura Kovcs

    Häftad, Engelska, 2024-04-05
    549
    Skickas från oss inom 5-8 vardagar.
  7. Fields of Logic and Computation II

    av Lev D Beklemishev, Andreas Blass, Nachum Dershowitz, Bernd Finkbeiner, Wolfram Schulte

    Häftad, Engelska, 2015-08-27
    593
    Skickas från oss inom 10-15 vardagar.
  8. Automated Technology for Verification and Analysis

    av Bernd Finkbeiner, Geguang Pu, Lijun Zhang

    Häftad, Engelska, 2015-11-22
    591
    Skickas från oss inom 10-15 vardagar.
  9. Lautes Denken, Stimulated Recall und Dokumentarische Methode

    av Karin Aguado, Claudia Finkbeiner, Bernd Tesch

    Inbunden, Engelska, 2018-09-11
    739
    Skickas från oss inom 7-10 vardagar.
  10. Runtime Verification

    av Howard Barringer, Ylies Falcone, Bernd Finkbeiner, Klaus Havelund, Insup Lee

    Häftad, Engelska, 2010-10-19
    593
    Skickas från oss inom 10-15 vardagar.