Detailsuche

Grid  List

  1. Verification, Model Checking, and Abstract Interpretation
    0 %
    Verification, Model Checking, and Abstract Interpretation
    Isil Dillig
    Springer International Publishing
    Ebook
    Sofort lieferbar

    This book constitutes the refereed proceedings of the 19th International Conference on Verificati...

    Unser bisheriger Preis:ORGPRICE: 57,57 €

    Jetzt 57,56 €Ebook
    Alle Preise inkl. MwSt
  2. Computer Aided Verification
    0 %
    Computer Aided Verification
    Isil Dillig
    Springer International Publishing
    Ebook
    Sofort lieferbar

    This open access two-volume set LNCS 11561 and 11562 constitutes the refereed proceedings of the ...

    Unser bisheriger Preis:ORGPRICE: 3,80 €

    Jetzt 3,79 €Ebook
    Alle Preise inkl. MwSt
  3. Computer Aided Verification
    0 %
    Computer Aided Verification
    Isil Dillig
    Springer International Publishing
    Ebook
    Sofort lieferbar

    The open access two-volume set LNCS 11561 and 11562 constitutes the refereed proceedings of the 3...

    Unser bisheriger Preis:ORGPRICE: 3,82 €

    Jetzt 3,81 €Ebook
    Alle Preise inkl. MwSt
  4. Computer Aided Verification
    Computer Aided Verification
    Serdar Tasiran
    Springer International Publishing, Springer International Publishing
    Taschenbuch
    Print on Demand

    The open access two-volume set LNCS 11561 and 11562 constitutes the refereed proceedings of th...

    53,49 €Taschenbuch
    Alle Preise inkl. MwSt | Versandkostenfrei
  5. Verification, Model Checking, and Abstract Interpretation
    Verification, Model Checking, and Abstract Interpretation
    Jens Palsberg
    Springer International Publishing, Springer International Publishing
    Taschenbuch
    Print on Demand

    This book constitutes the refereed proceedings of the 19th International Conference on Verificati...

    53,49 €Taschenbuch
    Alle Preise inkl. MwSt | Versandkostenfrei
  6. Computer Aided Verification
    Computer Aided Verification
    Serdar Tasiran
    Springer International Publishing, Springer International Publishing
    Taschenbuch
    Print on Demand

    This open access two-volume set LNCS 11561 and 11562 constitutes the refereed proceedings of t...

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