*Versand Gratis
Erweiterte Suche
*Versand Gratis
Categories

Grid   List

  1. 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
    Taschenbuch
    Print on Demand

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

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

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

    87,64 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  3. 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
    Taschenbuch
    Print on Demand

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

    79,07 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  4. Leveraging Applications of Formal Methods, Verification and Validation
    Leveraging Applications of Formal Methods, Verification and Validation
    Bernhard Steffen
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    Taschenbuch
    Print on Demand

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

    84,53 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  5. Leveraging Applications of Formal Methods, Verification and Validation
    Leveraging Applications of Formal Methods, Verification and Validation
    Bernhard Steffen
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    Taschenbuch
    Print on Demand

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

    57,78 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  6. Leveraging Applications of Formal Methods, Verification and Validation
    Leveraging Applications of Formal Methods, Verification and Validation
    Bernhard Steffen
    Springer Berlin Heidelberg
    Taschenbuch
    Print on Demand

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

    160,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  7. SOFSEM 2015: Theory and Practice of Computer Science
    SOFSEM 2015: Theory and Practice of Computer Science
    Giuseppe Italiano
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    Taschenbuch
    Print on Demand

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

    85,60 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  8. Software Business. From Physical Products to Software Services and Solutions
    Software Business. From Physical Products to Software Services and Solutions
    Margaria Tiziana
    Springer Berlin Heidelberg
    Taschenbuch
    Print on Demand

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

    49,22 €
    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
    Bernhard Steffen
    Springer Berlin Heidelberg
    Taschenbuch
    Print on Demand

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

    93,08 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  10. Process Design for Natural Scientists
    Process Design for Natural Scientists
    Tiziana Margaria
    Springer Berlin Heidelberg
    Taschenbuch
    Print on Demand

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

    54,19 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  11. Leveraging Applications of Formal Methods, Verification, and Validation
    Leveraging Applications of Formal Methods, Verification, and Validation
    Reiner Hähnle
    Springer Berlin Heidelberg
    Taschenbuch
    Print on Demand

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

    69,54 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  12. Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice: 8th International Symposium, ISoLA 2018, Limassol, ... Notes in Computer Science, Band 11247)
    Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice: 8th International Symposium, ISoLA 2018, Limassol, ... Notes in Computer Science, Band 11247)
    Tiziana Margaria
    Springer
    Taschenbuch
    Verfügbar: 1
    Sofort lieferbar
    Gebraucht

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

    41,59 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    Gebraucht - Gut
  1. 1
  2. 2
  3. 3
  4. 4