3 resultados para program verification
em Aberystwyth University Repository - Reino Unido
Resumo:
Tedd, L.(2006). Program: a record of the first 40 years of electronic library and information systems. Program: electronic library and information systems,40(1), 11-26.
Resumo:
Thomas, L.A., Ratcliffe, M.B. and Thomasson, B. J., Can Object (Instance) Diagrams Help First Year Students Understand Program Behaviour? in Diagrammatic Representation and Inference, Diagrams 2004, editors A. Blackwell, K. Marriot and Atushi Shimojima, Springer Lecture Notes on Artificial Intelligence, 2980.
Resumo:
F. Baria, M. Khalid, W. Haresign, A. Murray and B. Merrell (2003). Factors affecting the survival of sheep embryos after transfer within a MOET program. Theriogenology, 59 (5/6), 1265-1275. Sponsorship: DEFRA RAE2008