bernhard k aichernig

Grid   List

  1. Formal Methods for Components and Objects
    Formal Methods for Components and Objects
    Bernhard K. Aichernig
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    The focus in development methodologies of large and complex software systems has switched in the last two decades from functional issues to structural issues; this holds for both the object-oriente...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  2. Tests and Proofs
    Tests and Proofs
    Bernhard K. Aichernig
    Springer International Publishing
    Ebook
    Sofort lieferbar
    This book constitutes the refereed proceedings of the 10th International Conference on Tests and Proofs, TAP 2016, held as part of STAF 2016, in Vienna, Austria, in July 2016.The 8 full papers, 2 s...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  3. Formal Methods at the Crossroads. From Panacea to Foundational Support
    Formal Methods at the Crossroads. From Panacea to Foundational Support
    Bernhard K. Aichernig
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    This volume is devoted to the 10th Anniversary Colloquium of UNU IIST, the International Institute for Software Technology of the United Nations University, as well as to the memory of Armando Haeb...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  4. Formal Methods at the Crossroads. From Panacea to Foundational Support
    Formal Methods at the Crossroads. From Panacea to Foundational Support
    Tom Maibaum
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    Taschenbuch
    Bezug 11-15
    This volume records the 10th Anniversary Colloquium of UNU IIST, the Int- nationalInstituteforSoftwareTechnologyoftheUnitedNationsUniversity,held in Lisbon, Portugal, March 18 21, 2002. Armando Hae...
    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  5. Tests and Proofs
    Tests and Proofs
    Carlo A. Furia
    Springer International Publishing, Springer International Publishing
    Taschenbuch
    Bezug 11-15
    This book constitutes the refereed proceedings of the 10th International Conference on Tests and Proofs, TAP 2016, held as part of STAF 2016, in Vienna, Austria, in July 2016.The 8 full paper...
    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  1. 1
<%--for search--%>