Profisuche

bernhard k aichernig

Grid   List

  1. Formal Methods for Components and Objects

    Formal Methods for Components and Objects

    Bernhard K. Aichernig
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

    The focus in development methodologies of large and complex software systems has switched in the ...

    53,49 €
    Alle Preise inkl. MwSt
  2. Tests and Proofs

    Tests and Proofs

    Bernhard K. Aichernig
    Springer International Publishing
    Ebook
    Sofort lieferbar

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

    53,49 €
    Alle Preise inkl. MwSt
  3. Formal Methods at the Crossroads. From Panacea to Foundational Support

    Formal Methods at the Crossroads. From Panacea to Foundational Support

    Bernhard K. Aichernig
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

    This volume is devoted to the 10th Anniversary Colloquium of UNU IIST, the International Institut...

    53,49 €
    Alle Preise inkl. MwSt
  4. Formal Methods at the Crossroads. From Panacea to Foundational Support

    Formal Methods at the Crossroads. From Panacea to Foundational Support

    Tom Maibaum
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    Taschenbuch
    Bezug 11-15

    This volume records the 10th Anniversary Colloquium of UNU IIST, the Int- nationalInstituteforSof...

    53,49 €
    Alle Preise inkl. MwSt | zzgl. Versand
  5. Tests and Proofs

    Tests and Proofs

    Carlo A. Furia
    Springer International Publishing, Springer International Publishing
    Taschenbuch
    Bezug 11-15

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

    53,49 €
    Alle Preise inkl. MwSt | zzgl. Versand
  1. 1