Chiudi Menù
Regione Autonoma della Sardegna Regione Autonoma della Sardegna Regione Autonoma della Sardegna Regione Autonoma della Sardegna
Regione Sardegna
Seguici su
Cerca Cerca nel sito

Regione Sardegna

Altre azioni
Torna Indietro Torna Indietro

La semantica formale dei linguaggi di programmazione : un'introduzione

Winskel, Glynn

La semantica formale dei linguaggi di programmazione : un'introduzione
Informazioni
Lo trovi in

Categoria

Testo

Natura

Monografia

Titolo

La semantica formale dei linguaggi di programmazione : un'introduzione

Nomi

[Autore] Winskel, Glynn
Turini, Franco
Montanari, Ugo <1943- >

Classe Dewey

005.13 LINGUAGGI DI PROGRAMMAZIONE

Soggetto BNI

Elaboratori elettronici - Linguaggi

Descrizione

ˆLa ‰semantica formale dei linguaggi di programmazione : un'introduzione / Glynn Winskel

Descrizione Fisica

XVII, 394 p. ; 24 cm

Note

Trad. di Paolo Baldan, Andrea Bracciali, Alessandra Raffaetà.

Numeri Standard

ISBN: 8877506482
BNI: IT 20003431

Data

1999

Luogo di pubblicazione

Torino

Paese

ITALIA

Lingua

ITALIANO

Titolo Opera

ˆThe ‰formal semantic of programming languages.

Fonte

Biblioteche SBN Sardegna

ID

IT\ICCU\RAV\0654057

Link Risorse

http://id.sbn.it/bid/RAV0654057
Biblioteca del Distretto tecnologico – sezione Matematica e informatica
Biblioteca del Distretto biomedico scientifico - sezione Beniamino Orrù

Tag

Altre azioni

Immagini

collana

collana

Autore : cultura fenicio-punica
collana

collana

Autore : cultura fenicio-punica

Risultati 2 di 103993

Visualizza Tutti Visualizza Tutti

Testi

La descrizione operazionale dei linguaggi di programmazione : un'introduzione

La descrizione operazionale dei linguaggi di programmazione : un'introduzione

Autore : Laneve, Cosimo

Anno : 1998
Semantica operazionale e denotazionale dei linguaggi di programmazione

Semantica operazionale e denotazionale dei linguaggi di programmazione

Autore : De Nicola, Rocco

Anno : 1999

Risultati 2 di 2189876

Visualizza Tutti Visualizza Tutti

Video

Il mostro di sangue

Il mostro di sangue

Anno : 2004
La fossa dei serpenti

La fossa dei serpenti

Anno : 2012

Risultati 2 di 71358

Visualizza Tutti Visualizza Tutti

Audio

Bizet: Carmen. [2]: Bizet: Carmen

Bizet: Carmen. [2]: Bizet: Carmen

Anno : 2018
Incontro rosa bella e delicata

Incontro rosa bella e delicata

Risultati 2 di 28141

Visualizza Tutti Visualizza Tutti

Commenti

Carica altri

Scrivi un commento

Invia
Scrivi un commento