BooksCOMPUTERS/Programming/General
Programming with Specifications: An Introduction to ANNA, A Language for Specifying Ada Programs
by David Luckham
Product Details
Author
David Luckham
Publisher
Springer/Sci-Tech/Trade
Published
2012
Binding
Paperback
ISBN
9781461396871
Language
English
Genre
COMPUTERS/Programming/General
Category
Books