Applications Of Formal Methods, Hinchey et Bowen

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

Clarke, John I. Et Bowen-Jones, Howard ( Eds Change Et Développement En Mi

Bowen, Leslie L'Art et Artisanat De Croissance Orchids / Leslie Bowen 1976 First

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

Newman, Steve. Bowen, Catherine L'île Sainte De Lindisfarne - Guide Et Court Son

Logic Programming: Formal Methods and Practical Applications, C. Beierle et L. P

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