Wissen, was kommt.
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, 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, 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
  13. 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

    Bernhard Steffen
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    20.03.1996

    This book presents the refereed proceedings of the Second International Workshop on Tools and Alg...

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

    Leveraging Applications of Formal Methods, Verification and Validation. Modeling

    Bernhard Steffen
    Springer International Publishing, Springer Nature Switzerland
    29.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
  15. 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
    11.09.2012

    The two-volume set LNCS 7609 and 7610 constitutes the thoroughly refereed proceedings of the 5th ...

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

    Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems

    Bernhard Steffen
    Springer International Publishing, Springer Nature Switzerland
    31.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
  17. SOFSEM 2017: Theory and Practice of Computer Science SOFSEM 2017: Theory and Practice of Computer Science

    SOFSEM 2017: Theory and Practice of Computer Science

    Bernhard Steffen
    Springer International Publishing, Springer International Publishing
    11.01.2017

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

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  18. Services and Visualization: Towards User-Friendly Design Services and Visualization: Towards User-Friendly Design

    Services and Visualization: Towards User-Friendly Design

    Tiziana Margaria
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    18.03.1998

    This book comprises a strictly refereed selection of papers presented at three international work...

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

    Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice

    Bernhard Steffen
    Springer Nature Switzerland, Springer International Publishing
    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
  20. 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
    11.09.2012

    The two-volume set LNCS 7609 and 7610 constitutes the thoroughly refereed proceedings of the 5th ...

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

    Leveraging Applications of Formal Methods, Verification and Validation: Applications

    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
  22. Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends

    Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends

    Bernhard Steffen
    Springer Nature Switzerland, Springer International Publishing
    05.08.2021

    The four-volume set LNCS 12476 - 12479 constitutes the refereed proceedings of the 9th Internatio...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  23. 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 International Publishing, Springer Nature Switzerland
    12.10.2021

    This book constitutes contributions of the ISoLA 2021 associated events. Altogether, ISoLA 2021 c...

    Taschenbuch
    74,89 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  24. 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 International Publishing
    20.10.2022

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

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

    Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering

    Bernhard Steffen
    Springer Nature Switzerland, Springer Nature Switzerland
    20.10.2022

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

    Taschenbuch
    74,89 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  26. Leveraging Applications of Formal Methods, Verification and Validation. Practice Leveraging Applications of Formal Methods, Verification and Validation. Practice

    Leveraging Applications of Formal Methods, Verification and Validation. Practice

    Bernhard Steffen
    Springer Nature Switzerland, Springer International Publishing
    20.10.2022

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

    Taschenbuch
    69,54 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  27. Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning

    Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning

    Bernhard Steffen
    Springer International Publishing, Springer Nature Switzerland
    20.10.2022

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

    Taschenbuch
    74,89 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  28. Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola

    Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola

    Bernhard Steffen
    Springer Nature Switzerland, Springer Nature Switzerland
    09.10.2024

    The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th In...

    Taschenbuch
    79,17 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  29. Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies

    Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies

    Bernhard Steffen
    Springer Nature Switzerland, Springer International Publishing
    26.10.2024

    The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th In...

    Taschenbuch
    70,61 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  30. Leveraging Applications of Formal Methods, Verification and Validation. Application Areas Leveraging Applications of Formal Methods, Verification and Validation. Application Areas

    Leveraging Applications of Formal Methods, Verification and Validation. Application Areas

    Bernhard Steffen
    Springer Nature Switzerland, Springer Nature Switzerland
    26.10.2024

    The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th In...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  31. 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

    Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Syst

    Bernhard Steffen
    Springer Nature Switzerland, Springer Nature Switzerland
    27.10.2024

    The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th In...

    Taschenbuch
    70,61 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  32. Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification

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

    Bernhard Steffen
    Springer Nature Switzerland, Springer Nature Switzerland
    30.10.2024

    The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th In...

    Taschenbuch
    79,17 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  33. Leveraging Applications of Formal Methods, Verification, and Validation Leveraging Applications of Formal Methods, Verification, and Validation

    Leveraging Applications of Formal Methods, Verification, and Validation

    Tiziana Margaria
    Springer, Berlin, Springer Berlin Heidelberg, Springer

    This volume contains the conference proceedings of the 4th International S- posium on Leveraging ...

    Taschenbuch

    Unser bisheriger Preis:ORGPRICE: 96,29 €

    Jetzt 53,49 €
    Besorgungstitel - wird vorgemerkt
    Alle Preise inkl. MwSt | Versandkostenfrei
  34. Leveraging Applications of Formal Methods, Verification, and Validation Leveraging Applications of Formal Methods, Verification, and Validation

    Leveraging Applications of Formal Methods, Verification, and Validation

    Tiziana Margaria
    Springer, Berlin, Springer Berlin Heidelberg, Springer

    This volume contains the conference proceedings of the 4th International S- posium on Leveraging ...

    Taschenbuch

    Unser bisheriger Preis:ORGPRICE: 123,04 €

    Jetzt 106,99 €
    Besorgungstitel - wird vorgemerkt
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1