Livrare gratuită pentru comenzile peste 349,00 lei.

Verifică starea comenzii

Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje Creați-vă un cont gratuit

Transport gratuit la punctele de livrare Pick Up peste 349.00 lei

Packeta 15.00 lei Serviciul de curierat Cargus 28.00 lei Easybox 20.00 lei FAN Courier 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier DPD 25.00 lei

Contact

Cum să cumpăr

Ajutor

Contul meu

▸ Gol :-(

Livrare gratuită pentru comenzile peste 349,00 lei.

Semantics Engineering with PLT Redex

Name: Semantics Engineering with PLT Redex
Brand: MIT Press Ltd
SKU: 04560800
Price: 331.44 RON
Availability: InStock
Author: Matthias Felleisen
ISBN: 9780262062756

Matthias Felleisen

Robert Bruce Findler

Matthew Flatt

Limba

engleză

Carte Copertă tare

Codul Libristo: 04560800

Editura MIT Press Ltd, iulie 2009

This text is the first comprehensive presentation of reduction semantics in one volume; it also intr... Descrierea completă

Codul Libristo: 04560800

153 b

331.44 lei

În depozitul extern în cantități mici Expediem în 11-15 zile

Până la 30 de zile pentru returnare

Clienții au cumpărat de asemenea

Le printemps de la jungle Luc Barbulesco

Carte broșată

78.48 lei

SIMONDON XXX2 Simondon

Carte broșată

86.29 lei

vita eterna Roberto Pasolini

Carte broșată

90.55 lei

FERMIN MUGURUZA * BLACK IS BELTZA FERMIN MUGURUZA Carte

Carte broșată

64.32 lei

Presencias Extraterrestres Giovanni Pellegrino

Carte broșată

116.16 lei

I Love to Keep My Room Clean Amo mantenere in ordine la mia camera SHELLEY ADMONT

Copertă tare

143.02 lei

Book Rebels - 75 Heldinnen aus der Literatur Annette Pehnt

Carte broșată

65.47 lei

Alicia und die Unwahrscheinlichkeit der Liebe Mayte Uceda

Adobe ePub DRM

57.66 lei

Halloween Livre de Сoloriage: livre ? colorier Halloween avec des créatures fantaisie pour garçons et filles, âgés de 4-8, avec: gobelins Franke Oscar Thomas

Carte broșată

47.25 lei

Maluszkowe malowanie Kotki praca zbiorowa

Carte broșată

2.80 lei

Ting, tang, tonung Günther Kretzschmar

Note muzicale

73.69 lei

El declive de la ciudadanía Victoria Camps

Carte broșată

103.36 lei

Fermiere d'Esquermes Et Les Brigands Du Nord, Recits Episodiques (Ed.1873) Cleophas-Reimbold Dautrevaux

Carte broșată

146.77 lei

guerre en Irak dans L'EXPRESS Hannah-Kristin Elenschneider

Carte broșată

50.69 lei

Studien UEber Vererbung Und Entstehung Geistiger Stoerungen Hermann Hoffmann

Carte broșată

293.34 lei

Yoni Massage Michaela Riedl

Copertă tare

93.88 lei

This text is the first comprehensive presentation of reduction semantics in one volume; it also introduces the first reliable and easy-to-use tool set for such forms of semantics. Software engineers have long known that automatic tool support is critical for rapid prototyping and modeling, and this book is addressed to the working semantics engineer (graduate student or professional language designer). The book comes with a prototyping tool suite to develop, explore, test, debug, and publish semantic models of programming languages. With PLT Redex, semanticists can formulate models as grammars and reduction models on their computers with the ease of paper and pencil. The text first presents a framework for the formulation of language models, focusing on equational calculi and abstract machines, then introduces PLT Redex, a suite of software tools for expressing these models as PLT Redex models. Finally, experts describe a range of models formulated in Redex. PLT Redex comes with the PLT Scheme implementation, available free at http://www.plt-scheme.org/. Readers can download the software and experiment with Redex as they work their way through the book.