Bokus

C HANKIN I MACKIE – författare

Visar alla böcker från författaren C HANKIN I MACKIE. Handla med fri frakt och snabb leverans.

1 produkter

  1. C HANKIN I MACKIE, C Hankin, R Nagarajan, I Mackie - THEORY AND FORMAL METHODS OF COMPUTING 94: PROCEEDINGS OF THE SECOND IMPERIAL COLLEGE WORKSHOP, Inbunden. Tillgänglighet: Tillfälligt slut

    THEORY AND FORMAL METHODS OF COMPUTING 94: PROCEEDINGS OF THE SECOND IMPERIAL COLLEGE WORKSHOP

    Av C HANKIN I MACKIE, C Hankin m. fl.

    Inbunden, 1995

    2648 kr

    Tillfälligt slut

    The focus of this workshop was the development of mathematically-based techniques of formal specification of system behaviour, and the systematic development of implementations. The aim is to produce correct, efficient implementations in a reliable fashion. Topics covered at the workshop include …