Programming with Specifications : An Introduction to ANNA, A Language for Specifying Ada Programs
Programming with Specifications : An Introduction to ANNA, A Language for Specifying Ada Programs
Barcode: 09781461396857
Brand: Springer New York
Our site contains affiliate links, and we may earn a commission for purchases made through these links at no extra cost to you.This helps support our work in bringing you the best price comparisons.