Programming with Specifications: An Introduction to ANNA, A Language for Specifying Ada Programs

Authors: Luckham, David

Ask AI a Question

Brand: Springer

ASIN: 1461396875 (CA)

104.95 CAD Usually ships within 6 to 7 days

Features

  • Used Book in Good Condition

Category: N/A (Slug: computers-technology/computer-science/artificial-intelligence)

Ask a Question about "Programming with Specifications: An Introduction to ANNA, A Language for Specifying Ada Programs"

0 / 300