Bokus

Frank S.de Boer – författare

Visar alla böcker från författaren Frank S.de Boer. Handla med fri frakt och snabb leverans.

2 produkter

  1. Frank S.de Boer, Marcello Bonsangue, Susanne Graf, Willem-Paul de Roever - Formal Methods for Components and Objects, Häftad. Tillgänglighet: Lägg i varukorg

    Formal Methods for Components and Objects

    First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures

    Av Frank S.de Boer, Marcello Bonsangue m. fl.

    Häftad, 2003

    566 kr

    Lägg i varukorg

    Largeandcomplexsoftwaresystemsprovidethenecessaryinfrastuctureinall- dustries today. In order to construct such large systems in a systematic manner, the focus in the development methodologies has switched in the last two decades from functional issues to structural issues: both data and functions …

  2. Willem-Paul de Roever, Susanne Graf, Marcello Bonsangue, Frank S.de Boer - Formal Methods for Components and Objects, E-bok. Tillgänglighet: Lägg i varukorg

    Formal Methods for Components and Objects

    First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures

    Av Willem-Paul de Roever, Susanne Graf m. fl.

    E-bok, 2003

    739 kr

    Lägg i varukorg

    Largeandcomplexsoftwaresystemsprovidethenecessaryinfrastuctureinall- dustries today. In order to construct such large systems in a systematic manner, the focus in the development methodologies has switched in the last two decades from functional issues to structural issues: both data and functions …