| |
|
|
|
|
|
|
|
|
1. |
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 |
|
|
|
|
|
|
Descrizione fisica |
|
|
|
|
|
|
Collana |
|
Lecture notes in computer science ; 86 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Locazione |
|
|
|
|
|
|
Collocazione |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNINA990000232750403321 |
|
|
Autore |
Nardi, Guido |
|
|
Titolo |
Frammenti di coscienza tecnica : tecniche esecutive e cultura del costruire / Guido Nardi, Andrea Campioli, Anna Mangiarotti |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Milano, : FrancoAngeli, 1991 |
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Descrizione fisica |
|
|
|
|
|
|
Collana |
|
Studi e ricerche del Dipartimento di programmazione, progettazione e produzione edilizia del Politecnico di Milano ; 9 |
|
|
|
|
|
|
|
|
Altri autori (Persone) |
|
|
|
|
|
|
Locazione |
|
|
|
|
|
|
|
|
Collocazione |
|
B 284 CAN |
21 A 14 40 |
TECN B 903 |
16.342 |
12.1163 |
ARCH B 1570 |
ARCH B 2476 |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
| |