mehr als bücher

Grid  List

  1. 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 €*
  2. 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 €*
  3. 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 €*
  4. 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 €*
  5. 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 €*
  6. 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 €*
  7. 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 €*
  8. 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 €*
  9. SOFSEM 2015: Theory and Practice of Computer Science
    SOFSEM 2015: Theory and Practice of Computer Science
    Giuseppe Italiano
    Springer Verlag GmbH
    Taschenbuch
    Besorgungstitel - wird vorgemerkt

    This book constitutes the proceedings of the 41st International Conference on Current Trends in T...

    53,49 €*
  10. Software Business.From Physical Products to Software Services and Solutions
    Software Business.From Physical Products to Software Services and Solutions
    Georg Herzwurm
    Springer Verlag GmbH
    Taschenbuch
    Besorgungstitel - wird vorgemerkt

    This book contains the refereed proceedings of the 4th International Conference on Software Busin...

    49,22 €*
  11. Tools and Algorithms for the Construction and Analysis of Systems
    Tools and Algorithms for the Construction and Analysis of Systems
    Tiziana Margaria
    Springer Verlag GmbH
    Taschenbuch
    Besorgungstitel - wird vorgemerkt

    InhaltsangabeEarly fault detection tools.- Kleene algebra with tests and commutativity conditions...

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

    InhaltsangabeIntroduction.- Service-Oriented Computing.- Semantic Web Services.- Semantic Web Cha...

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