Status der Bestellung anzeigen

Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen

DPD-Kurier 4.49 € Hermes Kurierdienst 4.99 € DHL-Kurier 3.99 € Hermes-Stelle 4.49 € DPD-Stelle 2.99 € GLS-Kurierdienst 4.99 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

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: 51.09 EUR
Availability: InStock
Author: Guy McCusker
ISBN: 9781447111658

Guy McCusker

Sprache

Englisch

Buch Broschur

Libristo-Code: 02179355

Verlag Springer London Ltd, Oktober 2012

The Distinguished Dissertation series is published on behalf of the Conference of Professors and Hea... Vollständige Beschreibung

Libristo-Code: 02179355

125 b

51.09 € inkl. MwSt.

Externes Lager Wir versenden in 5-8 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

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

binding.

35.09 €

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

Broschur

18.00 €

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

Broschur

17.95 €

Dorian van Delft Wolfram Christ

Adobe ePub DRM

2.29 €

ATLAS DE ANIMALES INGELA P. ARRHENIUS

Buch

13.79 €

Auf neue Art Kirche sein ...? Gottfried Leder

Broschur

14.90 €

Forstwirtschaft der östlichen evangelischen Kirchen Fred Ruchhöft

Broschur

12.90 €

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

Broschur

54.49 €

LET'S GO 2 ESO TEACHER CATALAN

Buch

17.19 €

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

Broschur

7.19 €

Maloe sobranie socinenij Sergei Dovlatov

Hardcover

26.69 €

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

Broschur

17.09 €

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

Broschur

37.79 €

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

Broschur

24.29 €

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

Broschur

38.59 €

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.

Schauspielerin & Polyglotte

EWA KASP für

Video abspielen

Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Games and Full Abstraction for a Functional Metalanguage with Recursive Types

Autor Guy McCusker

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 2012

Anzahl der Seiten 189

EAN 9781447111658

ISBN 1447111656

Libristo-Code 02179355

Verlag Springer London Ltd

Gewicht 326

Abmessungen 155 x 235 x 12

Kategorie

Mathematik und Naturwissenschaften > Mathematik > Mathematische Grundlagen > Mathematik: Logik

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Compiler und Übersetzer

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Programmier- und Skriptsprachen, allgemein

EDV und Informationstechnologie > Informatik > Theoretische Informatik

Lifestyle, Hobbys und Freizeit > Garten und Gärtnern

Verschenken Sie dieses Buch noch heute

Es ist ganz einfach

1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert