3 resultados para program verification

em Aberystwyth University Repository - Reino Unido


Relevância:

20.00% 20.00%

Publicador:

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.

Relevância:

20.00% 20.00%

Publicador:

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.

Relevância:

20.00% 20.00%

Publicador:

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