Filtrera

Språk
  • (65)
  • (11)
Ämne
  • (65)
  • (2)
  • (1)
  • (13)
  • (1)
Format
  • (7)
  • (33)
  • (36)
Utgivningsår
  • (6)
  • (9)
  • (61)
Pris
  • (1)
  • (2)
  • (13)
Leveranstid
  • (33)
  • (45)
Geografisk plats i boken
  • (2)
  • (2)

Bernhard Steffen - Böcker

Visar alla böcker av Bernhard Steffen. Handla med fri frakt och snabb leverans!

Sortering:
  1. Tools and Algorithms for the Construction and Analysis of Systems

    av Bernhard Steffen, Fabrice Kordon, Marieke Huisman

    Häftad, Engelska, 2020-10-08
    609
    Skickas inom 10-15 vardagar.
  2. Tools and Algorithms for the Construction and Analysis of Systems

    av Bernhard Steffen, Fabrice Kordon, Marieke Huisman

    Inbunden, Engelska, 2020-10-08
    672
    Skickas inom 10-15 vardagar.
  3. Leveraging Applications of Formal Methods, Verification and Validation. Modeling

    av Tiziana Margaria, Bernhard Steffen

    Häftad, Engelska, 2018-10-29
    1055
    Skickas inom 10-15 vardagar.
  4. Leveraging Applications of Formal Methods, Verification and Validation. Verification

    av Tiziana Margaria, Bernhard Steffen

    Häftad, Engelska, 2018-10-30
    980
    Skickas inom 10-15 vardagar.
  5. Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems

    av Tiziana Margaria, Bernhard Steffen

    Häftad, Engelska, 2018-10-31
    1055
    Skickas inom 10-15 vardagar.
  6. Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice

    av Tiziana Margaria, Bernhard Steffen

    Häftad, Engelska, 2018-10-30
    1055
    Skickas inom 10-15 vardagar.
  7. Mathematical Foundations of Advanced Informatics

    av Bernhard Steffen, Oliver Ruthing, Michael Huth

    Häftad, Engelska, 2019-01-24
    401
    Skickas inom 10-15 vardagar.
  8. Tools and Algorithms for the Construction and Analysis of Systems

    av Dirk Beyer, Marieke Huisman, Fabrice Kordon, Bernhard Steffen

    Häftad, Engelska, 2019-04-04
    680
    Skickas inom 10-15 vardagar.
  9. Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles

    av Tiziana Margaria, Bernhard Steffen

    Häftad, Engelska, 2020-10-29
    1570
    Skickas inom 5-8 vardagar.
  10. Leveraging Applications of Formal Methods, Verification and Validation: Applications

    av Tiziana Margaria, Bernhard Steffen

    Häftad, Engelska, 2020-10-27
    1570
    Skickas inom 5-8 vardagar.
  11. Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles

    av Tiziana Margaria, Bernhard Steffen

    Häftad, Engelska, 2020-10-27
    1709
    Skickas inom 5-8 vardagar.
  12. Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends

    av Tiziana Margaria, Bernhard Steffen

    Häftad, Engelska, 2021-08-05
    1013
    Skickas inom 5-8 vardagar.
  13. Leveraging Applications of Formal Methods, Verification and Validation

    av Tiziana Margaria, Bernhard Steffen

    Häftad, Engelska, 2021-10-12
    1222
    Skickas inom 5-8 vardagar.
  14. Leveraging Applications of Formal Methods, Verification and Validation E-bok

    av Tiziana Margaria, Bernhard Steffen

    E-bok, Engelska, 2021-10-11
    819
    Laddas ned direkt
  15. Model Checking, Synthesis, and Learning

    av Ernst-Rudiger Olderog, Bernhard Steffen, Wang Yi

    Häftad, Engelska, 2021-11-22
    908
    Skickas inom 5-8 vardagar.
  16. Model Checking, Synthesis, and Learning E-bok

    av Ernst-Rudiger Olderog, Bernhard Steffen, Wang Yi

    E-bok, Engelska, 2021-12-02
    679
    Laddas ned direkt
  17. Namasté

    av Bernhard Müller, Martin Steffen, Marlies Eggen Beer

    Inbunden, Tyska, 2015-11-01
    348
    Skickas inom 5-8 vardagar.
  18. Transactions on Foundations for Mastering Change I

    av Bernhard Steffen

    Häftad, Engelska, 2016-09-30
    1204
    Skickas inom 10-15 vardagar.
  19. Transactions on Foundations for Mastering Change I E-bok

    av Bernhard Steffen

    E-bok, Engelska, 2016-10-01
    1196
    Laddas ned direkt