UCL logo

UCL Discovery

UCL home » Library Services » Electronic resources » UCL Discovery

Browse by UCL Departments and Centres

Up a level
Export as [feed] RSS 2.0 [feed] RSS 1.0 [feed] Atom
Group by: Author | Type
Jump to: C | H | L
Number of items: 6.

C

Clark, D and Errington, L and Hankin, C (1994) Static Analysis of Value-Passing Process Calculi. In: Hankin, C and Mackie, I and Nagarajan, R, (eds.) Theory and Formal Methods. (pp. 307 - 320). Imperial College Press

H

HARMAN, M and DANICIC, S (1994) USING A FUNCTIONAL LANGUAGE TO TEACH ELEMENTS OF FORMAL METHODS. In: King, G and Brebbia, CA and Staples, G and Ross, M, (eds.) SOFTWARE ENGINEERING IN HIGHER EDUCATION. (pp. 439 - 446). COMPUTATIONAL MECHANICS PUBLICATIONS LTD

HARMAN, M and DANICIC, S (1994) USING AN INTERPRETER TO TEACH INTRODUCTORY PROGRAMMING. In: King, G and Brebbia, CA and Staples, G and Ross, M, (eds.) SOFTWARE ENGINEERING IN HIGHER EDUCATION. (pp. 283 - 290). COMPUTATIONAL MECHANICS PUBLICATIONS LTD

HARMAN, M and DANICIC, S (1994) PRACTICAL SUBPROGRAM VERIFICATION - AN APPROACH WHICH USES SLICING, METRICS AND AXIOMATIC VERIFICATION. In: Ross, M and Brebbia, CA and Staples, G and Stapleton, J, (eds.) SOFTWARE QUALITY MANAGEMENT II, VOL 2: BUILDING QUALITY INTO SOFTWARE. (pp. 531 - 544). COMPUTATIONAL MECHANICS PUBLICATIONS LTD

L

Langdon, WB (1994) Genetic Programming. : Department of Computer Science.

Langdon, WB (1994) Quick Intro to simple-gp.c. : Gower Street, London WC1E 6BT, UK.

This list was generated on Sat May 18 10:03:49 2013 BST.