Sfoglia per Rivista IEEE ANNALS OF THE HISTORY OF COMPUTING
Mostrati risultati da 1 a 3 di 3
Program Verification and Semantics: Further Work, Science Museum, London. , 27(2), 2005
2005-01-01 Numerico, Teresa; Bowen, J.
Program verification and semantics: the early work
2002-01-01 Numerico, Teresa; Bowen, J.
Program verification and semantics: The early work
2001-01-01 Numerico, Teresa; Bowen, J.
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Program Verification and Semantics: Further Work, Science Museum, London. , 27(2), 2005 | 1-gen-2005 | Numerico, Teresa; Bowen, J. | |
Program verification and semantics: the early work | 1-gen-2002 | Numerico, Teresa; Bowen, J. | |
Program verification and semantics: The early work | 1-gen-2001 | Numerico, Teresa; Bowen, J. |
Mostrati risultati da 1 a 3 di 3
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile