Bokus

C Hankin – författare

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

2 produkter

  1. ANDREOLI J M, J-M Andreoli, C Hankin, D Le Métayer - COORDINATION PROGRAMMING: MECHANISMS, MODELS AND SEMANTICS, Inbunden. Tillgänglighet: Lägg i varukorg

    COORDINATION PROGRAMMING: MECHANISMS, MODELS AND SEMANTICS

    Av ANDREOLI J M, J-M Andreoli m. fl.

    Inbunden, 1996

    2180 kr

    Lägg i varukorg

    Coordination, considered abstractly, is an ubiquitous notion in computer science: for example, programming languages coordinate elementary instructions; operating systems coordinate accesses to hardware resources; database transaction schedulers coordinate accesses to shared data; etc. All these …

  2. 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 …