Kết quả tìm kiếm - "Verification."

Principles of model checking Bằng Baier, Christel

Table of contents only

Verificationism its history and prospects Bằng Misak, C. J. (Cheryl J.)

HEXIG Hybrid Extreme Rotation Forest for offline signature verification Bằng Cordero, Kenver R.

Verification of current disarmament and arms limitation agreements ways, emans, and practices

Permissive interfaces. Bằng Henzinger, Thomas A.

Formal system verification state-of-the-art and future trends

Available for University of the Philippines System via SpringerLink. Click here to access
Also available remotely for University of the Philippines System via SpringerLink. Click here to access thru EZproxy

The external audit Bằng Anderson, Rodney J. 1935-

An introduction to formal program verification Bằng Mili, Ali

Practical design verification

Software verification and analysis an integrated, hands-on approach Bằng Laski, Janusz