tiziana margaria

Grid   List

  1. Leveraging Applications of Formal Methods, Verification and Validation
    Leveraging Applications of Formal Methods, Verification and Validation
    Tiziana Margaria
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    This book constitutes the thoroughly refereed proceedings of the Third International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, held in Porto Sani, Greece,...
    149,79 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  2. Semantic Web Services Challenge
    Semantic Web Services Challenge
    Charles J. Petrie
    Springer New York
    Ebook
    Sofort lieferbar
    Service-Oriented Computing is one of the most promising software engineering trends because of the potential to reduce the programming effort for future distributed industrial systems. However, onl...
    149,79 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  3. Formal Methods for Industrial Critical Systems
    Formal Methods for Industrial Critical Systems
    Stefania Gnesi
    John Wiley & Sons
    Ebook
    Sofort lieferbar
    Today, formal methods are widely recognized as an essential step inthe design process of industrial safety-critical systems. In itsmore general definition, the term formal methods encompasses allno...
    82,99 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  4. Formal Methods for Industrial Critical Systems
    Formal Methods for Industrial Critical Systems
    Stefania Gnesi
    Wiley
    Ebook
    Sofort lieferbar
    Today, formal methods are widely recognized as an essential step inthe design process of industrial safety-critical systems. In itsmore general definition, the term formal methods encompasses allno...
    82,99 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  5. Models, Mindsets, Meta: The What, the How, and the Why Not?
    Models, Mindsets, Meta: The What, the How, and the Why Not?
    Tiziana Margaria
    Springer International Publishing
    Ebook
    Sofort lieferbar
    This Festschrift volume is published in honor of Bernhard Steffen, Professor at the Technical University of Dortmund, on the occasion of his 60th birthday. His vision as well as his theoretical and...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  6. SOFSEM 2015: Theory and Practice of Computer Science
    SOFSEM 2015: Theory and Practice of Computer Science
    Giuseppe Italiano
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    This book constitutes the proceedings of the 41st International Conference on Current Trends in Theory and Practice of Computer Science held in Pec pod Snezkou, Czech Republic, during January 24-29...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  7. Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems
    Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems
    Tiziana Margaria
    Springer International Publishing
    Ebook
    Sofort lieferbar
    The four-volume set LNCS 11244, 11245, 11246, and 11247 constitutes the refereed proceedings of the 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Valida...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  8. Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice
    Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice
    Tiziana Margaria
    Springer International Publishing
    Ebook
    Sofort lieferbar
    The four-volume set LNCS 11244, 11245, 11246, and 11247 constitutes the refereed proceedings of the 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Valida...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  9. SOFSEM 2017: Theory and Practice of Computer Science
    SOFSEM 2017: Theory and Practice of Computer Science
    Bernhard Steffen
    Springer International Publishing
    Ebook
    Sofort lieferbar
    This book constitutes the refereed proceedings of the 43rd International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2017, held in Limerick, Ireland, in January ...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  10. Leveraging Applications of Formal Methods, Verification and Validation. Verification
    Leveraging Applications of Formal Methods, Verification and Validation. Verification
    Tiziana Margaria
    Springer International Publishing
    Ebook
    Sofort lieferbar
    The four-volume set LNCS 11244, 11245, 11246, and 11247 constitutes the refereed proceedings of the 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Valida...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  11. Leveraging Applications of Formal Methods, Verification and Validation. Modeling
    Leveraging Applications of Formal Methods, Verification and Validation. Modeling
    Tiziana Margaria
    Springer International Publishing
    Ebook
    Sofort lieferbar
    The four-volume set LNCS 11244, 11245, 11246, and 11247 constitutes the refereed proceedings of the 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Valida...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  12. Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change
    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 International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  1. 1
  2. 2
  3. 3
  4. 4
  5. 5
  6. 6
  7. 7
  8. 8
<%--for search--%>