Grid   List

  1. Service-Oriented and Cloud Computing
    -0 %

    Service-Oriented and Cloud Computing

    Ebook
    Sofort lieferbar

    This book constitutes the refereed proceedings of the 6th IFIP WG 2.14 European Conference on Ser...

    Unser bisheriger Preis:ORGPRICE: 56,62 €

    Jetzt 56,61 €
    Alle Preise inkl. MwSt
  2. Formal Methods for Executable Software Models
    -0 %

    Formal Methods for Executable Software Models

    Ebook
    Sofort lieferbar

    This book presents 8 tutorial lectures given by leading researchers at the 14th edition of the In...

    Unser bisheriger Preis:ORGPRICE: 56,81 €

    Jetzt 56,80 €
    Alle Preise inkl. MwSt
  3. Tests and Proofs
    -0 %

    Tests and Proofs

    Ebook
    Sofort lieferbar

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

    Unser bisheriger Preis:ORGPRICE: 57,20 €

    Jetzt 57,19 €
    Alle Preise inkl. MwSt
  4. Software Engineering and Formal Methods
    -0 %

    Software Engineering and Formal Methods

    Ebook
    Sofort lieferbar

    This book constitutes the refereed proceedings of the 16th International Conference on Software E...

    Unser bisheriger Preis:ORGPRICE: 57,18 €

    Jetzt 57,17 €
    Alle Preise inkl. MwSt
  5. Formal Methods for Open Object-Based Distributed Systems
    -0 %

    Formal Methods for Open Object-Based Distributed Systems

    Ebook
    Sofort lieferbar

    This book constitutes the refereed proceedings of the 9th IFIP WG 6.1 International Conference on...

    Unser bisheriger Preis:ORGPRICE: 56,18 €

    Jetzt 56,17 €
    Alle Preise inkl. MwSt
  6. Service-Oriented and Cloud Computing
    -0 %

    Service-Oriented and Cloud Computing

    Ebook
    Sofort lieferbar

    This book constitutes the refereed proceedings of the 5th European Conference on Service-Ori...

    Unser bisheriger Preis:ORGPRICE: 56,91 €

    Jetzt 56,90 €
    Alle Preise inkl. MwSt
  7. Active Object Languages: Current Research Trends
    -0 %

    Active Object Languages: Current Research Trends

    Ebook
    Sofort lieferbar

    Active Objects are a programming paradigm that supports a non-competitive, data-driven concurrenc...

    Unser bisheriger Preis:ORGPRICE: 76,37 €

    Jetzt 76,36 €
    Alle Preise inkl. MwSt
  8. Fundamental Approaches to Software Engineering
    -0 %

    Fundamental Approaches to Software Engineering

    Ebook
    Sofort lieferbar

    This open access book constitutes the proceedings of the 25th International Conference on Fundame...

    Unser bisheriger Preis:ORGPRICE: 3,76 €

    Jetzt 3,75 €
    Alle Preise inkl. MwSt
  9. Formal Methods for Multicore Programming

    Ebook
    Sofort lieferbar

    This book presents 5 tutorial lectures given by leading researchers at the 15th edition of the In...

    51,16 €
    Alle Preise inkl. MwSt
  10. Integrated Formal Methods
    -0 %

    Integrated Formal Methods

    Ebook
    Sofort lieferbar

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

    Unser bisheriger Preis:ORGPRICE: 57,12 €

    Jetzt 57,11 €
    Alle Preise inkl. MwSt
  11. Logic of Software. A Tasting Menu of Formal Methods
    -0 %

    Logic of Software. A Tasting Menu of Formal Methods

    Ebook
    Sofort lieferbar

    This Festschrift, dedicated to Reiner Hahnle on the occasion of his 60th birthday, contains paper...

    Unser bisheriger Preis:ORGPRICE: 113,81 €

    Jetzt 113,80 €
    Alle Preise inkl. MwSt
  1. 1