Bokus

I. Mackie – författare

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

2 produkter

  1. Jean Goubault-Larrecq, I. Mackie - Proof Theory and Automated Deduction, Häftad. Tillgänglighet: Lägg i varukorg

    Proof Theory and Automated Deduction

    Av Jean Goubault-Larrecq, I. Mackie

    Häftad, 2001

    552 kr

    Lägg i varukorg

    The last twenty years have witnessed an accelerated development of pure and ap­ plied logic, particularly in response to the urgent needs of computer science. Many traditional logicians have developed interest in applications and in parallel a new generation of researchers in logic has arisen from …

  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 …