Record Nr.

UNINA990000470440403321

Autore

Copenhagen winter school on abstract software specifications : <1979>

Titolo

Abstract software specifications : 1979 Copenhagen winter school, january 22- february 2, 1979 proceedings / edited by D. Bjorner

Pubbl/distr/stampa


Berlin ; Heidelberg : Springer-Verlag, 1980

ISBN

3-540-10007-5

Descrizione fisica

566 p. : ill. ; 24 cm

Collana

Lecture notes in computer science ; 86

Disciplina

001.64'2

Locazione

DINEL

Collocazione

10 PRO 161

Lingua di pubblicazione

Inglese

Formato

Materiale a stampa

Livello bibliografico

Monografia