1. Constraint-based verification

by Yuan, Jun | Aziz, Adnan | Pixley, Carl.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 2006Availability: Items available for loan: [Call number: 005.115 YUA] (1).
2. Elements of programming interviews

by Aziz, Adnan.,Lee, Tsung-Hsien and Prakash, Amit.

Publisher: Self Published 2013Availability: No items available

Powered by Koha