Erweiterte Suche

Grid  List

  1. Correct Hardware Design and Verification Methods Correct Hardware Design and Verification Methods

    Correct Hardware Design and Verification Methods

    Tom Melham
    Springer Berlin Heidelberg
    27.08.2001

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

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques

    Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques

    Bernhard Steffen
    Springer International Publishing, Springer International Publishing
    06.10.2016

    The two-volume set LNCS 9952 and LNCS 9953 constitutes the refereed proceedings of the 7th Intern...

    Taschenbuch
    106,99 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  3. Semantic Web Services Challenge Semantic Web Services Challenge

    Semantic Web Services Challenge

    Charles J. Petrie
    Springer US
    23.11.2010

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

    Taschenbuch
    160,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  4. Service-Oriented Computing - ICSOC 2008 Service-Oriented Computing - ICSOC 2008

    Service-Oriented Computing - ICSOC 2008

    Athman Bouguettaya
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    13.11.2008

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

    Taschenbuch
    106,99 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  5. Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles

    Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles

    Bernhard Steffen
    Springer International Publishing, Springer Nature Switzerland
    27.10.2020

    The three-volume set LNCS 12476 - 12478 constitutes the refereed proceedings of the 9th Internati...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  6. Fundamental Approaches to Software Engineering Fundamental Approaches to Software Engineering

    Fundamental Approaches to Software Engineering

    Tiziana Margaria-Steffen
    Springer Berlin Heidelberg
    22.03.2004

    ETAPS 2004 was the seventh instance of the European Joint Conferences on Theory and Practice of S...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  7. Process Design for Natural Scientists Process Design for Natural Scientists

    Process Design for Natural Scientists

    Tiziana Margaria
    Springer Berlin Heidelberg
    02.10.2014

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

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  8. Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications

    Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications

    Bernhard Steffen
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    07.10.2014

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

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  9. Leveraging Applications of Formal Methods, Verification and Validation Leveraging Applications of Formal Methods, Verification and Validation

    Leveraging Applications of Formal Methods, Verification and Validation

    Bernhard Steffen
    Springer Berlin Heidelberg
    14.10.2008

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

    Taschenbuch
    160,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  10. SOFSEM 2015: Theory and Practice of Computer Science SOFSEM 2015: Theory and Practice of Computer Science

    SOFSEM 2015: Theory and Practice of Computer Science

    Giuseppe Italiano
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    02.01.2015

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

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  11. Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications

    Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications

    Bernhard Steffen
    Springer International Publishing, Springer International Publishing
    06.10.2016

    The two-volume set LNCS 9952 and LNCS 9953 constitutes the refereed proceedings of the 7th Intern...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  12. Leveraging Applications of Formal Methods, Verification, and Validation Leveraging Applications of Formal Methods, Verification, and Validation

    Leveraging Applications of Formal Methods, Verification, and Validation

    Reiner Hähnle
    Springer Berlin Heidelberg
    12.10.2012

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

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1
  2. 2
  3. 3
  4. 4