Verificar estado da encomenda

Faça parte de uma comunidade de amantes de livros de todo o mundo e tenha acesso a uma série de benefícios. Crie uma conta gratuitamente

Correio DHL 7.99 € Correio DPD 4.49 € Ponto DPD 3.99 € Correio GLS 5.49 € Correio MRW 5.49 € Ponto GLS 4.49 €

Contacto

Como comprar

Ajuda

A minha conta

▸ Vazio :-(

Games and Full Abstraction for a Functional Metalanguage with Recursive Types

Name: Games and Full Abstraction for a Functional Metalanguage with Recursive Types
Brand: Springer London Ltd
SKU: 02179355
Price: 54.07 EUR
Availability: InStock
Author: Guy McCusker
ISBN: 9781447111658

Guy McCusker

Língua

Inglês

Livro Capa mole

Código Libristo: 02179355

Editoras Springer London Ltd, outubro 2012

The Distinguished Dissertation series is published on behalf of the Conference of Professors and Hea... Descrição completa

Código Libristo: 02179355

132 b

54.07 €

Armazenamento externo Envio em 5-8 dias

Até 30 dias para devoluções

Os clientes também compraram

Auf neue Art Kirche sein ...? Gottfried Leder

Capa mole

15.37 €

PACK 5EX TEMPS/ESPACE NIVEAU 1 CP Jean-Pierre Astolfi

binding.

39.99 €

ATLAS DE ANIMALES INGELA P. ARRHENIUS

Livro

17.28 €

Dorian van Delft Wolfram Christ

Adobe ePub DRM

2.71 €

Harry Potter i komnata tajemnic wyd. ilustrowane Joanne K. Rowling

Livro de capa dura

17.68 €

Foucaults Analyse der Biomacht - Politik im Namen des Lebens Matthias Klinge

Capa mole

16.98 €

Your Eyes on Me - Based on Alexa's True Story Leonie Lastella

Capa mole

16.57 €

Forstwirtschaft der östlichen evangelischen Kirchen Fred Ruchhöft

Capa mole

12.36 €

Prestazioni Di Ruolo Dei Centri Di Servizi Agro Nel Trasferimento Di Tecnologia Jyoti Deshmukh

Capa mole

58.09 €

LET'S GO 2 ESO TEACHER CATALAN

Livro

18.18 €

Cahier d’activités - Découvrir la Bible - Ancien Testament - Rois et prophètes Volume 3 TONI MATAS Livro

Capa mole

7.43 €

Maloe sobranie socinenij Sergei Dovlatov

Livro de capa dura

27.93 €

Lettre ? Sa Majesté Louis XVIII Sur La Vente Des Biens Nationaux Ambroise Falconnet

Capa mole

16.88 €

Prädikatives Attribut Larissa Naiditsch

Capa mole

39.49 €

France Et l'Angleterre En Asie. Indo-Chine. Les Derniers Jours de la Dynastie Des Rois d'Ava Lehault-P

Capa mole

45.92 €

Traite-Formulaire General Alphabetique Et Raisonne Du Notariat. Tome 4 Amiaud-A

Capa mole

44.92 €

La linterna mágica : aprende a equilibrar tu mundo emocional María Dolores Mayo González

Capa mole

24.42 €

The Distinguished Dissertation series is published on behalf of the Conference of Professors and Heads of Computing and The British Computer Society, who annually select the best British PhD dissertations in computer science for publication. The dissertations are selected on behalf of the CPHC by a panel of eight academics. Each dissertation chosen makes a noteworthy contribution to the subject and reaches a high standard of exposition, placing all results clearly in the context of computer science as a whole. In this way computer scientists with significantly different interests are able to grasp the essentials - or even find a means of entry - to an unfamiliar research topic. This book develops a theory of game semantics, a recently discovered setting for modelling and reasoning about sequential programming languages, suitable for interpreting higher-order functional languages with rich type structure, and applies it to constr uct a fully abstract model of the metalanguage FPC.