Berthold Hoffmann – författare

Visar alla böcker från författaren Berthold Hoffmann. Handla med fri frakt och snabb leverans.

1 produkter

1. 

   Program Development by Specification and Transformation

   The PROSPECTRA Methodology, Language Family, and System

   Av Berthold Hoffmann, Bernd Krieg-Brückner

   Häftad, 1993

   1126 kr

   Lägg i varukorg

   This volume gives a coherent presentation of the outcome ofthe project PROSPECTRA (PROgram development by SPECificationand TRAnsformation) that aims to provide a rigorousmethodology for developing correct software and acomprehensive support system. The results are substantial: atheoretically …