Bokus

A Pnueli – författare

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

4 produkter

  1. Micha Sharir, A Pnueli - Two Approaches to Interprocedural Data Flow Analysis, Inbunden. Tillgänglighet: Lägg i varukorg

    Two Approaches to Interprocedural Data Flow Analysis

    Av Micha Sharir, A Pnueli

    Inbunden, 2023

    357 kr

    Lägg i varukorg

  2. Micha Sharir, A Pnueli - Two Approaches to Interprocedural Data Flow Analysis, Häftad. Tillgänglighet: Lägg i varukorg

    Two Approaches to Interprocedural Data Flow Analysis

    Av Micha Sharir, A Pnueli

    Häftad, 2023

    205 kr

    Lägg i varukorg

  3. Andrzej Blikle, D. Barstow, W. Brauer, P. Brinch Hansen, D. Gries, D. Luckham, C. Moler, A. Pnueli, G. Seegmüller, J. Stoer, N. Wirth - MetaSoft Primer, Häftad. Tillgänglighet: Lägg i varukorg

    MetaSoft Primer

    Towards a Metalanguage for Applied Denotational Semantics

    Av Andrzej Blikle, D. Barstow m. fl.

    Häftad, 1987

    568 kr

    Lägg i varukorg

    The book is devoted to a simplified set-theoretic version of denotational semantics where sets are used in place of Scott's reflexive domains and where jumps are described without continuations. This approach has emerged as a reaction to the sophisticated model of traditional semantics. It was also …

  4. A PNUELI H LIN, A Pnueli, H Lin - LOGIC AND SOFTWARE ENGINEERING - PROCEEDINGS OF THE INTERNATIONAL WORKSHOP IN HONOR OF CHIH-SUNG TANG, Inbunden. Tillgänglighet: Tillfälligt slut

    LOGIC AND SOFTWARE ENGINEERING - PROCEEDINGS OF THE INTERNATIONAL WORKSHOP IN HONOR OF CHIH-SUNG TANG

    Av A PNUELI H LIN, A Pnueli m. fl.

    Inbunden, 1996

    1842 kr

    Tillfälligt slut

    This workshop brought together top researchers in logic and software engineering in the unique occasion of celebrating the 70th birthday of Professor C S Tang who has devoted much of his long research career to establishing a solid logic foundation for software engineering.