Bokus

A PNUELI H LIN – författare

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

1 produkter

  1. 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.