Bokus

Hung Dang Van – författare

Visar alla böcker från författaren Hung Dang Van. Handla med fri frakt och snabb leverans.

1 produkter

  1. Hung Dang Van, Chris George, Tomasz Janowski, Richard Moore - Specification Case Studies in RAISE, Häftad. Tillgänglighet: Lägg i varukorg

    Specification Case Studies in RAISE

    Av Hung Dang Van, Chris George m. fl.

    Häftad, 2002

    1128 kr

    Lägg i varukorg

    This volume presents twelve case studies that use RAISE - Rigorous Approach to Industrial Software Engineering - to construct, analyse, develop and apply formal specifications. The case studies cover a wide range of application areas including government finance, case-based reasoning, …