Vai al contenuto principale della pagina
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 |
Pubblicazione: | Berlin ; Heidelberg : Springer-Verlag, 1980 |
Descrizione fisica: | 566 p. : ill. ; 24 cm |
Disciplina: | 001.64'2 |
Soggetto non controllato: | Elaboratori digitali elettronici - Congressi |
Persona (resp. second.): | Bjørner, Dines <1937- > |
Titolo autorizzato: | Abstract software specifications |
ISBN: | 3-540-10007-5 |
Formato: | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione: | Inglese |
Record Nr.: | 990000470440403321 |
Lo trovi qui: | Univ. Federico II |
Collocazione: | 10 PRO 161 |
Opac: | Controlla la disponibilità qui |