Programming With Specifications: An Introduction to Anna, a Language for Specifying Ada Programs (Monographs in Computer Science)

David Luckham

ISBN 10: 1461396875 / ISBN 13: 9781461396871

Published by Springer US, 2012

About this Item

reprint edition. 432 pages. 9.25x6.10x0.94 inches. In Stock.

Seller Inventory # x-1461396875

Bibliographic Details

• Title: Programming With Specifications: An Introduction to Anna, a Language for Specifying Ada Programs (Monographs in Computer Science)
• Publisher: Springer US
• Publication Date: 2012
• Language: English
• ISBN 10: 1461396875
• ISBN 13: 9781461396871
• Binding: Paperback
• Condition: Brand New

About this title

Synopsis

This monograph introduces ANNA, a language for specifying programs written in Ada.