Join Books.org — it's free
Home > Books > 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 by David Luckham — book cover

Programming With Specifications: An Introduction to Anna, a Language for Specifying Ada Programs

by David Luckham
Write a review
Log in to track your reading progress.

Reviews

There are no reviews yet. Log in to write one.

Book Details

Published
November 9, 1990
Publisher
Springer
ISBN
9780387972541

More by David Luckham

The Power of Events: An Introduction to Complex Event Processing in Distributed Enterprise Systems
The Power of Events: An Introduction to Complex Event Processing in Distributed Enterprise Systems