Higher Order Operational Techniques in Semantics edito da Cambridge University Press
Alta reperibilità

Higher Order Operational Techniques in Semantics

EAN:

9780521631686

ISBN:

0521631688

Pagine:
400
Formato:
Hardback
Lingua:
Inglese
Acquistabile con o la

Descrizione Higher Order Operational Techniques in Semantics

A 1998 collection of original articles about developments in operational semantics for higher order programming languages by some of the leading researchers in the field. It surveys and introduces various techniques and treats a variety of higher order languages, based on functions, processes and objects, with and without side effects, typed and untyped.

Spedizione gratuita
€ 116.72
o 3 rate da € 38.91 senza interessi con
Disponibile in 10-12 giorni
servizio Prenota Ritiri su libro Higher Order Operational Techniques in Semantics
Prenota e ritira
Scegli il punto di consegna e ritira quando vuoi

Recensioni degli utenti

e condividi la tua opinione con gli altri utenti