Books by David Luckham
No products found matching the selection.
-20%
Programming with Specifications: An Introduction to ANNA, A Language for Specifying Ada Programs
€67.74
€84.68
-20% with code BOOKS
In stock at our supplier