1.

Record Nr.

UNINA990001358290403321

Autore

Winskel, Glynn

Titolo

The formal semantics of programming languages : an introduction / Glynn Winskel

Pubbl/distr/stampa

Cambridge : The MIT Press, 1993

ISBN

0-262-23169-7

Edizione

[3rd printing 1996]

Descrizione fisica

XVIII, 361 p. ; 23 cm

Collana

Foundations of computing

Disciplina

510.78

418.0285

Locazione

FI1

FLFBC

Collocazione

8B-328

418.0285 WIN 1

Lingua di pubblicazione

Inglese

Formato

Materiale a stampa

Livello bibliografico

Monografia



2.

Record Nr.

UNISA990000254800203316

Autore

Rada, Roy

Titolo

Hypertext : from text to expertext / Roy Rada

Pubbl/distr/stampa

London [etc.] : McGraw-Hill Book Company, copyr. 1991

ISBN

0-07-707401-7

Descrizione fisica

IX, 237 p. : ill. ; 24 cm

Disciplina

005754

Collocazione

005.754 RAD

Lingua di pubblicazione

Inglese

Formato

Materiale a stampa

Livello bibliografico

Monografia

3.

Record Nr.

UNISA990002398100203316

Titolo

La Chiesa e la città a Firenze nel XV secolo : Firenze, Sotterranei di San Lorenzo, 6 giugno- 6 settembre 1992 / a cura di Gianfranco Rolfi, Ludovica Sebregondi, Paolo Viti

Pubbl/distr/stampa

Cinisello Balsamo : Silvana, 1992

Descrizione fisica

236 p. : ill. ; 32 cm

Disciplina

282.4551

Soggetti

Chiesa cattolica romana

Collocazione

XVII A. 2246

Lingua di pubblicazione

Italiano

Formato

Materiale a stampa

Livello bibliografico

Monografia

Note generali

In testa al frontespizio: Curia arcivescovile di Firenze

Nell'occhietto: Comitato nazionale per le celebrazioni del V centenario della morte di Lorenzo il Magnifico