Mein Konto
Erweiterte Suche
Categories

Grid   List

  1. Tests and Proofs
    Tests and Proofs
    Bernhard K. Aichernig
    Springer
    Taschenbuch
    BOD - 2 Tage

    This book constitutes the refereed proceedings of the 10th International Conference on Tests and ...

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. Formal Methods at the Crossroads. From Panacea to Foundational Support
    Formal Methods at the Crossroads. From Panacea to Foundational Support
    Tom Maibaum
    Springer
    Taschenbuch
    BOD - 2 Tage

    In Memoriam Armando Martín Haeberer.- In Memoriam Armando Martín Haeberer.- Work at UNU IIST.- UN...

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1