Wissen, was kommt.
Erweiterte Suche

Grid  List

  1. Integrated Formal Methods Integrated Formal Methods

    Integrated Formal Methods

    Ferruccio Damiani
    Springer, Berlin, Springer Nature Switzerland, Springer
    24.01.2026

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

    Taschenbuch
    70,61 €
    Vorbestellbar
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. Types for Proofs and Programs Types for Proofs and Programs

    Types for Proofs and Programs

    Stefano Berardi
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    19.06.2009

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

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  3. Types for Proofs and Programs Types for Proofs and Programs

    Types for Proofs and Programs

    Stefano Berardi
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    15.06.2004

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

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  4. Formal Methods for Executable Software Models Formal Methods for Executable Software Models

    Formal Methods for Executable Software Models

    Marco Bernardo
    Springer International Publishing, Springer International Publishing
    21.05.2014

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

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  5. Formal Verification of Object-Oriented Software Formal Verification of Object-Oriented Software

    Formal Verification of Object-Oriented Software

    Bernhard Beckert
    Springer Berlin Heidelberg, Springer
    19.07.2012

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

    Taschenbuch
    49,22 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  6. Formal Methods for Components and Objects Formal Methods for Components and Objects

    Formal Methods for Components and Objects

    Bernhard Beckert
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    03.01.2013

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

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  7. Coordination Models and Languages Coordination Models and Languages

    Coordination Models and Languages

    Ornela Dardha
    Springer Nature Switzerland, Springer International Publishing
    06.06.2021

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

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  8. Active Object Languages: Current Research Trends Active Object Languages: Current Research Trends

    Active Object Languages: Current Research Trends

    Frank de Boer
    Springer Nature Switzerland, Springer Nature Switzerland
    29.01.2024

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

    Taschenbuch
    80,24 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1