Haben Sie Fragen? +49 (0)5563 / 999 60 39
Mein Konto Merkzettel Wunschliste Zuletzt gesehen

Profisuche

^^PAGEHEADLINE ^^

Grid   List

  1. Automated Technology for Verification and Analysis

    Automated Technology for Verification and Analysis

    Doron A Peled
    Springer Verlag GmbH 19.09.2005 - 2005
    Nar: - PDesc:
    Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 Werktagen

    The Automated Technology for Veri?cation and Analysis (ATVA) international symposium series was i...

    52,49 €
    2,90 € Alle Preise inkl. MwSt | zzgl. Versand 2,90 €
  2. Model Checking and Artificial Intelligence
    -0 %

    Model Checking and Artificial Intelligence

    Doron A Peled
    Springer Verlag GmbH 27.02.2009 - 2009
    Nar: - PDesc:
    Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 Werktagen

    This book constitutes the thoroughly refereed post-workshop proceedings of the 5th Workshop on Mo...

    Unser bisheriger Preis:ORGPRICE: 73,49 €

    Jetzt 52,49 €
    2,90 € Alle Preise inkl. MwSt | zzgl. Versand 2,90 €
  3. Automated Technology for Verification and Analysis

    Automated Technology for Verification and Analysis

    Cyrille Artho
    Springer Verlag GmbH 22.09.2016 - 2016
    Nar: - PDesc:
    Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 Werktagen

    This book constitutes the proceedings of the 14th International Symposium on Automated Technology...

    52,49 €
    2,90 € Alle Preise inkl. MwSt | zzgl. Versand 2,90 €
  4. Software Reliability Methods
    -0 %

    Software Reliability Methods

    Doron A Peled
    Springer Verlag GmbH 09.10.2011 - 2011
    Nar: - PDesc:
    Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 Werktagen

    A new text reference on formal method and techniques and tools for software development project d...

    Unser bisheriger Preis:ORGPRICE: 52,49 €

    Jetzt 40,12 €
    2,90 € Alle Preise inkl. MwSt | zzgl. Versand 2,90 €
  5. Verification, Model Checking, and Abstract Interpretation

    Verification, Model Checking, and Abstract Interpretation

    Francesco Logozzo
    Springer Verlag GmbH 26.02.2008 - 2008
    Nar: - PDesc:
    Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 Werktagen

    th This volumecontains the proceedingsof the 9 internationalconference onV- i?cation, Model Check...

    52,49 €
    2,90 € Alle Preise inkl. MwSt | zzgl. Versand 2,90 €
  6. Computer Aided Verification

    Computer Aided Verification

    Rajeev Alur
    Springer Verlag GmbH 29.06.2004 - 2004
    Nar: - PDesc:
    Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 Werktagen

    ThisvolumecontainstheproceedingsoftheconferenceonComputer AidedVe- ?cation, CAV 2004,held in Bost...

    104,99 €
    2,90 € Alle Preise inkl. MwSt | zzgl. Versand 2,90 €
  7. Software Reliability Methods
    -0 %

    Software Reliability Methods

    Doron A Peled
    Springer Verlag GmbH 26.06.2001 - 2001
    Nar: - PDesc:
    Besorgungstitel - wird vorgemerkt - Besorgungstitel - Lieferbar innerhalb von 10 Werktagen

    A new text reference on formal method and techniques and tools for software development project d...

    Unser bisheriger Preis:ORGPRICE: 52,50 €

    Jetzt 40,12 €
    2,90 € Alle Preise inkl. MwSt | zzgl. Versand 2,90 €
  1. 1