1.

Record Nr.

UNISANNIONAP0395496

Autore

IFIP TC2-WG 2.1 working conference on constructing programs from specifications :  <1991

Titolo

Constructing programs from specifications : proceedings of the IFIP TC2/WG 2.1 Working Conference on Constructing Programs from Specifications, Pacific Grove, CA, USA, 13-16 May, 1991 / edited by B. Möller

Pubbl/distr/stampa

Amsterdam [etc.], : North-Holland, 1991

ISBN

0444891846

Descrizione fisica

X, 515 p. ; 23 cm.

Disciplina

005.1

Soggetti

Elaboratori elettronici - Programmazione - Congressi - 1991

Collocazione

SALA DING 005.1                   IFIWCO

Lingua di pubblicazione

Inglese

Formato

Materiale a stampa

Livello bibliografico

Monografia