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: 8893 JPY
Availability: OutOfStock
Author: David Luckham

価格

¥ 8.893

税抜

遠隔倉庫からの取り寄せ

発送予定日年6月17日 - 年6月29日

お客様の声：

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

EU消費者保護法に基づく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
言語	英語