Filtrera

Ämne
  • (4)
  • (1)
Format
  • (1)
  • (4)
Leveranstid
  • (1)

Bernhard K Aichernig - Böcker

Visar alla böcker av Bernhard K Aichernig. Handla med fri frakt och snabb leverans!

Sortering:

  1. Tests and Proofs

    av Bernhard K Aichernig, Carlo A Furia

    Häftad, Engelska, 2016-06-21
    586
    Köp
    Skickas från oss inom 7-10 vardagar.
    Tests and Proofs

    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 short papers, and 1 tool demonstration paper prese...

    Läs mer »

  2. Formal Methods at the Crossroads. From Panacea to Foundational Support

    av Bernhard K Aichernig, Tom Maibaum

    Häftad, Engelska, 2003-11-01
    586
    Köp
    Skickas från oss inom 7-10 vardagar.
    Formal Methods at the Crossroads. From Panacea to Foundational Support

    This volume records the 10th Anniversary Colloquium of UNU/IIST, the Int- nationalInstituteforSoftwareTechnologyoftheUnitedNationsUniversity,held in Lisbon, Portugal, March 18-21, 2002. Armando Haeberer, then Chairman of the board of UNU/IIST, con...

    Läs mer »

  3. Formal Methods for Components and Objects

    av Bernhard K Aichernig, Frank S De Boer, Marcello M Bonsangue

    Häftad, Engelska, 2011-12-12
    586
    Köp
    Skickas från oss inom 7-10 vardagar.
    Formal Methods for Components and Objects

    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-oriented and the more recent component-based software eng...

    Läs mer »

  4. Formal Methods for Components and Objects E-bok

    av Bernhard K Aichernig, Frank S De Boer, Marcello M Bonsangue

    E-bok (PDF, LCP), Engelska, 2011-12-16
    766
    Ladda ned
    Läs i Bokus Reader för iOS och Android.
    Formal Methods for Components and Objects

    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-oriented and the more recent component-based software eng...

    Läs mer »

  5. Formal Methods At The Crossroads. From Panacea To Foundational Support

    av Aichernig Bernhard K Aichernig, Maibaum Tom Maibaum

    Häftad, Engelska, 2014-03-12
    695
    Köp
    Skickas från oss inom 7-10 vardagar.
    Formal Methods At The Crossroads. From Panacea To Foundational Support