David Luckham
Programming with Specifications: An Introduction to ANNA, A Language for Specifying Ada Programs - Monographs in Computer Science David Luckham Softcover reprint of the original 1st ed. 1990 edition

Name: Programming with Specifications: An Introduction to ANNA, A Language for Specifying Ada Programs - Monographs in Computer Science
Price: 379 CNY
Availability: OutOfStock
Author: David Luckham

价格

元 379

不含税

远程仓调货

预计送达时间年6月18日 - 年6月30日

顾客评价：

Top-vurdering på Google Reviews, baseret på tusinder af anmeldelser.

根据欧洲消费者保护法享受14天退换货政策

Trustpilot平台高分认证

添加至iMusic心愿单

Programming with Specifications: An Introduction to ANNA, A Language for Specifying Ada Programs - Monographs in Computer Science

David Luckham

Softcover reprint of the original 1st ed. 1990 edition

Topics * what this book is about, * its intended audience, * what the reader ought to know, * how the book is organized, * acknowledgements. The use of specifications as an integral part of a program opens up a whole new area of programming - progmmming with specifications.

416 pages, biography

介质类型	图书 Paperback Book (平装胶订图书)
已发行	2012年1月5日
ISBN13	9781461396871
出版商	Springer-Verlag New York Inc.
页数	416
商品尺寸	155 × 235 × 22 mm · 612 g
语言	英语