Record Nr.

UNISA990000842180203316

Titolo

Logic of programming and calculi of discrete design : international summer school / directed by F.L. Bauer ...<et al.>

Pubbl/distr/stampa


( : edited by Manfred Broy) : Berlin, Springer

ISBN

3-540-1803-6

Descrizione fisica

c1987 : 413 p. + 24 cm

Collana

NATO ASI series / Series F Computer and systems sciences ; 36

Disciplina

005.131

Soggetti

Linguaggi formali -- Congressi -- 1986

Collocazione

005.131 LOG

Lingua di pubblicazione

Inglese

Formato

Materiale a stampa

Livello bibliografico

Monografia