Bokus

Luis Pinto – författare

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

2 produkter

  1. Gilles Barthe, Peter Dybjer, Luis Pinto, João Saraiva - Applied Semantics, Häftad. Tillgänglighet: Lägg i varukorg

    Applied Semantics

    International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000. Advanced Lectures

    Av Gilles Barthe, Peter Dybjer m. fl.

    Häftad, 2002

    568 kr

    Lägg i varukorg

    This book is based on material presented at the international summer school on Applied Semantics that took place in Caminha, Portugal, in September 2000. We aim to present some recent developments in programming language research, both in semantic theory and in implementation, in a series of …

  2. Joao Saraiva, Luis Pinto, Peter Dybjer, Gilles Barthe - Applied Semantics, E-bok. Tillgänglighet: Lägg i varukorg

    Applied Semantics

    International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000. Advanced Lectures

    Av Joao Saraiva, Luis Pinto m. fl.

    E-bok, 2003

    755 kr

    Lägg i varukorg

    This book is based on material presented at the international summer school on Applied Semantics that took place in Caminha, Portugal, in September 2000. We aim to present some recent developments in programming language research, both in semantic theory and in implementation, in a series of …