Programming with Specifications

An Introduction to ANNA: A Language for Specifying Ada Programs

(

)

Author:

Series title:

Texts and Monographs in Computer Science

ISBN:

978-0-387-97254-1

Publication Date:

Oct 1990

Publisher:

Springer

Book Format:

Hardback

List Price:

AUD $136.95

Book Details

Pages:	416
Detailed Subjects:	Computers / Languages / General
Book Weight:	0.75 Kilograms

Related Books

Select your rating below then click 'submit'.