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

Luckham, David

ISBN 10: 1461396875 / ISBN 13: 9781461396871

Published by Springer 2012-01, 2012

About this Item

Seller Inventory # 6666-IUK-9781461396871

Bibliographic Details

• Title: Programming with Specifications : An Introduction to ANNA, A Language for Specifying Ada Programs
• Publisher: Springer 2012-01
• Publication Date: 2012
• Language: English
• ISBN 10: 1461396875
• ISBN 13: 9781461396871
• Binding: PF
• Condition: New

About this title

Synopsis

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