grigore rosu

Grid   List

  1. Ebook
    Sofort lieferbar
    This book constitutes the thoroughly refereed post-proceedings of the First Combined International Workshops on Formal Approaches to Software Testing, FATES 2006, and on Runtime Verification, RV 20...
    53,49 €
    Alle Preise inkl. MwSt
  2. Ebook
    Sofort lieferbar
    This book constitutes the refereed proceedings of the 12th International Conference on Algebraic Methodology and Software Technology, AMAST 2008, held in Urbana, IL, USA, in July 2008.
    53,49 €
    Alle Preise inkl. MwSt
  3. Ebook
    Sofort lieferbar
    Runtime Verification
    53,49 €
    Alle Preise inkl. MwSt
  4. Ebook
    Sofort lieferbar
    This book constitutes the refereed proceedings of the 14th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2012, and the 32nd IFIP WG 6.1 In...
    53,49 €
    Alle Preise inkl. MwSt
  5. Ebook
    Sofort lieferbar
    This book constitutes the refereed proceedings of the 28th International Symposium on Model Checking Software, SPIN 2022, held virtually in May 2022.
    96,29 €
    Alle Preise inkl. MwSt
  6. Taschenbuch
    Bezug 11-15
    Software validation is one of the most cost-intensive tasks in modern software production processes. The objective of FATES RV 2006 was to bring sci- tists from both academia and industry together ...
    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  7. Taschenbuch
    Bezug 11-15
    This book constitutes the refereed proceedings of the 14th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2012, and the 32nd IFIP WG 6.1 In...
    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  8. Taschenbuch
    Bezug 11-15
    This open access book constitutes the proceedings of the 28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2022, which was held during Apr...
    42,79 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  9. Taschenbuch
    Bezug 11-15
    This open access book constitutes the proceedings of the 28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2022, which was held during Apr...
    42,79 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  10. Taschenbuch
    Bezug 11-15
    This book constitutes the refereed proceedings of the 28th International Symposium on Model Checking Software, SPIN 2022, held virtually in May 2022.The 8 full papers were carefully reviewed and...
    106,99 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  11. Taschenbuch
    Bezug 16-20
    This book constitutes the refereed proceedings of the 12th International Conference on Algebraic Methodology and Software Technology, AMAST 2008, held in Urbana, IL, USA, in July 2008. The 28 revis...
    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1
<%--for search--%>