Grid   List

  1. Theoretical Aspects of Computing - ICTAC 2009
    -0 %

    Theoretical Aspects of Computing - ICTAC 2009

    Martin Leucker
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

    ThisvolumecontainsthepaperspresentedatICTAC2009:the6thInternational Colloquium on Theoretical Asp...

    Unser bisheriger Preis:ORGPRICE: 79,72 €

    Jetzt 57,77 €
    Alle Preise inkl. MwSt
    In den Warenkorb
    Zum Merkzettel
  2. Formal Methods in Outer Space
    -0 %

    Formal Methods in Outer Space

    Ezio Bartocci
    Springer International Publishing
    Ebook
    Sofort lieferbar

    This Festschrift, dedicated to Klaus Havelund on the occasion of his 65th birthday, celebrated in...

    Unser bisheriger Preis:ORGPRICE: 63,99 €

    Jetzt 63,98 €
    Alle Preise inkl. MwSt
    In den Warenkorb
    Zum Merkzettel
  3. Runtime Verification
    -0 %

    Runtime Verification

    Martin Leucker
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

    This book constitutes the thoroughly refereed post-proceedings of the 8th International Workshop ...

    Unser bisheriger Preis:ORGPRICE: 57,46 €

    Jetzt 57,45 €
    Alle Preise inkl. MwSt
    In den Warenkorb
    Zum Merkzettel
  4. Formal Methods: Applications and Technology
    -0 %

    Formal Methods: Applications and Technology

    Lubos Brim
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

    These are the joint ?nal proceedings of the 11th International Workshop on Formal Methods for Ind...

    Unser bisheriger Preis:ORGPRICE: 57,42 €

    Jetzt 57,41 €
    Alle Preise inkl. MwSt
    In den Warenkorb
    Zum Merkzettel
  5. Model-Based Testing of Reactive Systems
    -0 %

    Model-Based Testing of Reactive Systems

    Manfred Broy
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

    Testing is the primary hardware and software verification technique used by industry today. Usual...

    Unser bisheriger Preis:ORGPRICE: 57,74 €

    Jetzt 57,73 €
    Alle Preise inkl. MwSt
    In den Warenkorb
    Zum Merkzettel
  6. Runtime Verification
    -0 %

    Runtime Verification

    Christian Colombo
    Springer International Publishing
    Ebook
    Sofort lieferbar

    This book constitutes the refereed proceedings of the 18th International Conference on Runtime Ve...

    Unser bisheriger Preis:ORGPRICE: 83,00 €

    Jetzt 82,99 €
    Alle Preise inkl. MwSt
    In den Warenkorb
    Zum Merkzettel
  7. Formal Methods
    -0 %

    Formal Methods

    Marsha Chechik
    Springer International Publishing
    Ebook
    Sofort lieferbar

    This book constitutes the refereed proceedings of the 25th International Symposium on Formal Meth...

    Unser bisheriger Preis:ORGPRICE: 115,13 €

    Jetzt 115,12 €
    Alle Preise inkl. MwSt
    In den Warenkorb
    Zum Merkzettel
  1. 1