Numerico, T., Bowen, J. (2005). Program Verification and Semantics: Further Work, Science Museum, London. , 27(2), 2005. IEEE ANNALS OF THE HISTORY OF COMPUTING, 27 (2), 79-81.
Program Verification and Semantics: Further Work, Science Museum, London. , 27(2), 2005
NUMERICO, Teresa;
2005-01-01
File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
