Grid   List

  1. Leveraging Applications of Formal Methods, Verification and Validation
    -0 %

    Leveraging Applications of Formal Methods, Verification and Validation

    Tiziana Margaria
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

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

    Unser bisheriger Preis:ORGPRICE: 161,76 €

    Jetzt 161,75 €
    Alle Preise inkl. MwSt
    In den Warenkorb
    Zum Merkzettel
  2. Formal Methods for Industrial Critical Systems
    -0 %

    Formal Methods for Industrial Critical Systems

    Stefania Gnesi
    John Wiley & Sons
    Ebook
    Sofort lieferbar

    Today, formal methods are widely recognized as an essential step in the design process of industr...

    Unser bisheriger Preis:ORGPRICE: 102,69 €

    Jetzt 82,99 €
    Alle Preise inkl. MwSt
    In den Warenkorb
    Zum Merkzettel
  3. Semantic Web Services Challenge
    -0 %

    Semantic Web Services Challenge

    Charles J. Petrie
    Springer US
    Ebook
    Sofort lieferbar

    Service-Oriented Computing is one of the most promising software engineering trends for future...

    Unser bisheriger Preis:ORGPRICE: 161,89 €

    Jetzt 149,78 €
    Alle Preise inkl. MwSt
    In den Warenkorb
    Zum Merkzettel
  4. Formal Methods for Industrial Critical Systems
    -0 %

    Formal Methods for Industrial Critical Systems

    Stefania Gnesi
    John Wiley & Sons
    Ebook
    Sofort lieferbar

    Today, formal methods are widely recognized as an essential step in the design process of industr...

    Unser bisheriger Preis:ORGPRICE: 102,67 €

    Jetzt 82,99 €
    Alle Preise inkl. MwSt
    In den Warenkorb
    Zum Merkzettel
  5. Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles
    -0 %

    Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles

    Tiziana Margaria
    Springer International Publishing
    Ebook
    Sofort lieferbar

    This four-volume set LNCS 13701-13704 constitutes contributions of the associated events held at ...

    Unser bisheriger Preis:ORGPRICE: 93,33 €

    Jetzt 93,32 €
    Alle Preise inkl. MwSt
    In den Warenkorb
    Zum Merkzettel
  6. SOFSEM 2017: Theory and Practice of Computer Science
    -0 %

    SOFSEM 2017: Theory and Practice of Computer Science

    Christel Baier
    Springer International Publishing
    Ebook
    Sofort lieferbar

    This book constitutes the refereed proceedings of the 43rd International Conference on Current Tr...

    Unser bisheriger Preis:ORGPRICE: 56,39 €

    Jetzt 56,38 €
    Alle Preise inkl. MwSt
    In den Warenkorb
    Zum Merkzettel
  7. Software Business. From Physical Products to Software Services and Solutions
    -0 %

    Software Business. From Physical Products to Software Services and Solutions

    Georg Herzwurm
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

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

    Unser bisheriger Preis:ORGPRICE: 49,62 €

    Jetzt 49,61 €
    Alle Preise inkl. MwSt
    In den Warenkorb
    Zum Merkzettel
  8. Correct Hardware Design and Verification Methods
    -0 %

    Correct Hardware Design and Verification Methods

    Tiziana Margaria
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

    This volume contains the proceedings of CHARME 2001, the Eleventh Advanced Research Working Confe...

    Unser bisheriger Preis:ORGPRICE: 56,13 €

    Jetzt 56,12 €
    Alle Preise inkl. MwSt
    In den Warenkorb
    Zum Merkzettel
  9. Process Design for Natural Scientists
    -0 %

    Process Design for Natural Scientists

    Anna-Lena Lamprecht
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

    This book presents an agile and model-driven approach to manage scientific workflows. The approac...

    Unser bisheriger Preis:ORGPRICE: 56,24 €

    Jetzt 56,23 €
    Alle Preise inkl. MwSt
    In den Warenkorb
    Zum Merkzettel
  10. Service-Oriented Computing - ICSOC 2008
    -0 %

    Service-Oriented Computing - ICSOC 2008

    Athman Bouguettaya
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

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

    Unser bisheriger Preis:ORGPRICE: 111,03 €

    Jetzt 111,02 €
    Alle Preise inkl. MwSt
    In den Warenkorb
    Zum Merkzettel
  11. Leveraging Applications of Formal Methods, Verification, and Validation
    -0 %

    Leveraging Applications of Formal Methods, Verification, and Validation

    Reiner Hahnle
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

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

    Unser bisheriger Preis:ORGPRICE: 56,35 €

    Jetzt 56,34 €
    Alle Preise inkl. MwSt
    In den Warenkorb
    Zum Merkzettel
  12. Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change
    -0 %

    Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change

    Tiziana Margaria
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

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

    Unser bisheriger Preis:ORGPRICE: 56,39 €

    Jetzt 56,38 €
    Alle Preise inkl. MwSt
    In den Warenkorb
    Zum Merkzettel
  1. 1
  2. 2
  3. 3
  4. 4