Detailsuche

Grid  List

  1. Formal Methods for Multicore Programming
    Formal Methods for Multicore Programming
    Marco Bernardo
    Springer International Publishing
    Ebook
    Sofort lieferbar

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

    51,16 €Ebook
    Alle Preise inkl. MwSt
  2. Service-Oriented and Cloud Computing
    0 %
    Service-Oriented and Cloud Computing
    Einar Broch Johnsen
    Springer International Publishing
    Ebook
    Sofort lieferbar

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

    Unser bisheriger Preis:ORGPRICE: 57,42 €

    Jetzt 57,41 €Ebook
    Alle Preise inkl. MwSt
  3. Service-Oriented and Cloud Computing
    0 %
    Service-Oriented and Cloud Computing
    Marco Aiello
    Springer International Publishing
    Ebook
    Sofort lieferbar

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

    Unser bisheriger Preis:ORGPRICE: 57,50 €

    Jetzt 57,49 €Ebook
    Alle Preise inkl. MwSt
  4. Tests and Proofs
    0 %
    Tests and Proofs
    Sebastian Gabmeyer
    Springer International Publishing
    Ebook
    Sofort lieferbar

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

    Unser bisheriger Preis:ORGPRICE: 57,46 €

    Jetzt 57,45 €Ebook
    Alle Preise inkl. MwSt
  5. Formal Methods for Open Object-Based Distributed Systems
    0 %
    Formal Methods for Open Object-Based Distributed Systems
    Marcello M. Bonsangue
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

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

    Unser bisheriger Preis:ORGPRICE: 57,78 €

    Jetzt 57,77 €Ebook
    Alle Preise inkl. MwSt
  6. Formal Methods for Executable Software Models
    0 %
    Formal Methods for Executable Software Models
    Marco Bernardo
    Springer International Publishing
    Ebook
    Sofort lieferbar

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

    Unser bisheriger Preis:ORGPRICE: 57,45 €

    Jetzt 57,44 €Ebook
    Alle Preise inkl. MwSt
  7. Integrated Formal Methods
    0 %
    Integrated Formal Methods
    Einar Broch Johnsen
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

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

    Unser bisheriger Preis:ORGPRICE: 57,81 €

    Jetzt 57,80 €Ebook
    Alle Preise inkl. MwSt
  8. Software Engineering and Formal Methods
    0 %
    Software Engineering and Formal Methods
    Einar Broch Johnsen
    Springer International Publishing
    Ebook
    Sofort lieferbar

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

    Unser bisheriger Preis:ORGPRICE: 57,78 €

    Jetzt 57,77 €Ebook
    Alle Preise inkl. MwSt
  9. Logic of Software. A Tasting Menu of Formal Methods
    0 %
    Logic of Software. A Tasting Menu of Formal Methods
    Wolfgang Ahrendt
    Springer International Publishing
    Ebook
    Sofort lieferbar

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

    Unser bisheriger Preis:ORGPRICE: 114,31 €

    Jetzt 114,30 €Ebook
    Alle Preise inkl. MwSt
  10. Fundamental Approaches to Software Engineering
    0 %
    Fundamental Approaches to Software Engineering
    Einar Broch Johnsen
    Springer International Publishing
    Ebook
    Sofort lieferbar

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

    Unser bisheriger Preis:ORGPRICE: 3,81 €

    Jetzt 3,80 €Ebook
    Alle Preise inkl. MwSt
  11. Active Object Languages: Current Research Trends
    0 %
    Active Object Languages: Current Research Trends
    Frank de Boer
    Springer Nature Switzerland
    Ebook
    Sofort lieferbar

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

    Unser bisheriger Preis:ORGPRICE: 76,91 €

    Jetzt 76,90 €Ebook
    Alle Preise inkl. MwSt
  12. Formal Methods for Executable Software Models
    Formal Methods for Executable Software Models
    Marco Bernardo
    Springer International Publishing, Springer International Publishing
    Taschenbuch
    Print on Demand

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

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