mehr als bücher

Grid  List

  1. Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies
    Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies
    Tiziana Margaria
    Springer Verlag GmbH
    Taschenbuch
    Vorbestellbar
    70,61 €*
  2. Leveraging Applications of Formal Methods, Verification and Validation. Application Areas
    Leveraging Applications of Formal Methods, Verification and Validation. Application Areas
    Tiziana Margaria
    Springer Verlag GmbH
    Taschenbuch
    Vorbestellbar
    62,05 €*
  3. Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification
    Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification
    Tiziana Margaria
    Springer Verlag GmbH
    Taschenbuch
    Vorbestellbar
    70,61 €*
  4. Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems
    Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems
    Tiziana Margaria
    Springer Verlag GmbH
    Taschenbuch
    Vorbestellbar
    70,61 €*
  5. Leveraging Applications of Formal Methods, Verification and Validation.Specialized Techniques and Applications
    Leveraging Applications of Formal Methods, Verification and Validation.Specialized Techniques and Applications
    Tiziana Margaria
    Springer Verlag GmbH
    Taschenbuch
    Besorgungstitel - wird vorgemerkt

    The two-volume set LNCS 8802 and LNCS 8803 constitutes the refereed proceedings of the 6th Intern...

    53,49 €*
  6. Leveraging Applications of Formal Methods, Verification and Validation.Technologies for Mastering Change
    Leveraging Applications of Formal Methods, Verification and Validation.Technologies for Mastering Change
    Tiziana Margaria
    Springer Verlag GmbH
    Taschenbuch
    Besorgungstitel - wird vorgemerkt

    The two-volume set LNCS 8802 and LNCS 8803 constitutes the refereed proceedings of the 6th Intern...

    53,49 €*
  7. Service-Oriented Computing - ICSOC 2008
    Service-Oriented Computing - ICSOC 2008
    Athman Bouguettaya
    Springer Verlag GmbH
    Taschenbuch
    Besorgungstitel - wird vorgemerkt

    This book constitutes the refereed proceedings of the 6th International Conference on Service-Ori...

    106,99 €*
  8. Leveraging Applications of Formal Methods, Verification, and Validation
    Leveraging Applications of Formal Methods, Verification, and Validation
    Reiner Hähnle
    Springer Verlag GmbH
    Taschenbuch
    Besorgungstitel - wird vorgemerkt

    This volume contains a selection of revised papers that were presented at the Software Aspects of...

    53,49 €*
  9. Leveraging Applications of Formal Methods, Verification and Validation
    Leveraging Applications of Formal Methods, Verification and Validation
    Tiziana Margaria
    Springer Verlag GmbH
    Taschenbuch
    Besorgungstitel - wird vorgemerkt

    InhaltsangabeAdaptable and Evolving Software for Eternal Systems (Track Summary).- Challenges in ...

    53,49 €*
  10. Leveraging Applications of Formal Methods, Verification and Validation
    Leveraging Applications of Formal Methods, Verification and Validation
    Tiziana Margaria
    Springer Verlag GmbH
    Taschenbuch
    Besorgungstitel - wird vorgemerkt

    InhaltsangabeLinux Driver Verification (Position Paper).- Bioscientific Data Processing and Model...

    53,49 €*
  11. Semantic Web Services Challenge
    Semantic Web Services Challenge
    Charles J Petrie
    Springer Verlag GmbH
    Taschenbuch
    Besorgungstitel - wird vorgemerkt

    Inhaltsangabeto the First Year of the Semantic Web Services Challenge.- SWS Challenge Scenarios.-...

    160,49 €*
  12. Leveraging Applications of Formal Methods, Verification and Validation
    Leveraging Applications of Formal Methods, Verification and Validation
    Tiziana Margaria
    Springer Verlag GmbH
    Taschenbuch
    Besorgungstitel - wird vorgemerkt

    This volume contains the conference proceedings of ISoLA 2008, the Third International Symposium ...

    160,49 €*
  1. 1
  2. 2
  3. 3
  4. 4