Computer Science

You've just searched our warehouse and gifts! Call 510-849-2087 and we'll search the store.

Results 1 - 1 (of 1)

Bernhard Beckert; Reiner Hahnle; Peter H. Schmitt, Eds.

Verification of Object-Oriented Software. The KeY Approach: Foreword by K. Rustan M. Leino (Lecture Notes in Computer Science)

Springer, 2007. Soft Cover. More

Price: $62.50 save 10% $56.25

Results 1 - 1 (of 1)