Erweiterte Suche

Grid  List

  1. 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
  2. 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
  3. 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
  4. 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
  5. 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, 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
  6. 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
  7. 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
  8. 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, 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
  9. Tools and Algorithms for the Construction and Analysis of Systems Tools and Algorithms for the Construction and Analysis of Systems

    Tools and Algorithms for the Construction and Analysis of Systems

    Ed Brinksma
    Springer Berlin Heidelberg
    23.11.1995

    This book presents 12 revised refereed papers selected as the best from 32 submissions for the Fi...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  10. Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change

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

    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
  11. Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles

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

    Bernhard Steffen
    Springer International Publishing, Springer Nature Switzerland
    29.10.2020

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

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

    Leveraging Applications of Formal Methods, Verification and Validation. Verification

    Bernhard Steffen
    Springer International Publishing, Springer Nature Switzerland
    30.10.2018

    The four-volume set LNCS 11244, 11245, 11246, and 11247 constitutes the refereed proceedings of t...

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