*Versand Gratis
Erweiterte Suche
*Versand Gratis
Categories

Grid   List

  1. Types for Proofs and Programs
    Types for Proofs and Programs
    Stefano Berardi
    Springer, Springer
    Taschenbuch
    BOD - 2 Tage

    These proceedings contain a selection of refereed papers presented at or related to the 3rd Annua...

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. Formal Methods for Components and Objects
    Formal Methods for Components and Objects
    Bernhard Beckert
    Springer, Springer
    Taschenbuch
    BOD - 2 Tage

    Formal methods have been applied successfully to the verification of medium-sized programs in pro...

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  3. Formal Verification of Object-Oriented Software
    Formal Verification of Object-Oriented Software
    Dilian Gurov
    Springer
    Taschenbuch
    BOD - 2 Tage

    This book presents the thoroughly refereed post-conference proceedings of the International Confe...

    49,22 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  4. Types for Proofs and Programs
    Types for Proofs and Programs
    Stefano Berardi
    Springer, Springer
    Taschenbuch
    BOD - 2 Tage

    These proceedings contain a selection of refereed papers presented at or - lated to the Annual Wo...

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  5. Formal Methods for Executable Software Models
    Formal Methods for Executable Software Models
    Einar Broch Johnsen
    Springer
    Taschenbuch
    BOD - 2 Tage

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

    55,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  6. Coordination Models and Languages
    Coordination Models and Languages
    Ferruccio Damiani
    Springer, Springer
    Taschenbuch
    BOD - 2 Tage

    This book constitutes the refereed proceedings of the 23rd IFIP WG 6.1 International Conference o...

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  7. Active Object Languages: Current Research Trends
    Active Object Languages: Current Research Trends
    Frank de Boer
    Springer
    Taschenbuch
    BOD - 2 Tage

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

    80,24 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  8. Integrated Formal Methods
    Integrated Formal Methods
    Ferruccio Damiani
    Palgrave Macmillan
    Taschenbuch
    BOD - 2 Tage

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

    72,63 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1