Applications Of Formal Methods, Hinchey et Bowen

Teaching and Learning Formal Methods, C. Neville Dean et Michael G. Hinchey

Insect Transgenesis: Methods and Applications, Unknown

Formal Methods of Program Verification and Specification, Helmut K. Berg et etc.

Guide to good programming practice (Computers and their applications), Brian L.

Parallel Logic Programming in PARLOG: The Language and Its Implications (Interna