Verification of Object-Oriented Software. The KeY Approach: Foreword by K. Rustan M. Leino (Lecture Notes in Computer Science)
Springer, 2007. Soft Cover. Very Good / No Jacket. Item #1110412
ISBN: 354068977X
Price: $62.50
See all items in
Computer Science