eBook: Constructing Correct Software (DRM PDF)
 
電子書格式: DRM PDF
作者: John Cooke 
系列: Formal Approaches to Computing and Information Tec
分類: Software Engineering  
書城編號: 21130052


售價: $377.00

購買後立即進貨, 約需 1-4 天

 
 
製造商: Springer London
出版日期: 2013/06/29
ISBN: 9781447139850

商品簡介
Constructing Correct Software - The Basics illustrates and explains the constructive approach to software development. This approach involves calculating an answer from the initial statement of requirements or specification, rather than "guessing" an answer and then testing whether it actually works. It uses the same basic theory as traditional techniques, but is much quicker and easier as no "wrong answers" are obtained, and therefore no incorrect work needs to be discarded. John Cooke has based this book on material which has been used to teach the topic extensively at Loughborough University. It has been carefully written to be accessible to anyone with an appropriate basic background knowledge of formal methods. It is intended for 3rd/4th year undergraduate and postgraduate students on formal methods and software engineering courses, and software developers in industry who need a more pragmatic, yet fully formal, approach to software development.
Formal Approaches to Computing and Information Tec

eBook: Constructing Correct Software (DRM PDF)

eBook: High-Integrity System Specification and Design (DRM PDF)

eBook: Formal Methods in Human-Computer Interaction (DRM PDF)

eBook: On the Refinement Calculus (DRM PDF)

eBook: Formal Object-Oriented Development (DRM PDF)

eBook: Formal Methods and Object Technology (DRM PDF)

eBook: Notations for Software Design (DRM PDF)

eBook: Systems, Models and Measures (DRM PDF)

eBook: Proof in VDM: Case Studies (DRM PDF)

eBook: B Language and Method: A Guide to Practical Formal Development (DRM PDF)

eBook: Theory and Practice of Program Development (DRM PDF)

eBook: Software Specification Methods: An Overview Using a Case Study (DRM PDF)

eBook: Program Development by Refinement: Case Studies Using the B Method (DRM PDF)

eBook: Industrial-Strength Formal Methods in Practice (DRM PDF)

eBook: Refinement in Z and Object-Z: Foundations and Advanced Applications (DRM PDF)

John Cooke 作者作品表

Pretty Mrs. Gaston (Hardcover)

Pretty Mrs. Gaston (Paperback)

The World Encompassed by Sir Francis Drake: Being his Next Voyage to That to Nombre de Dios; Collated With an Unpublished Manuscript of Francis Fletch

A Treatise On Nervous Diseases: Vol. I On Apoplexy. [vol. Ii On Palsy And On Epilepsy.], Volume 1 (Paperback)

A Treatise On Nervous Diseases: Vol. I On Apoplexy. [vol. Ii On Palsy And On Epilepsy.], Volume 1 (Hardcover)

The World Encompassed by Sir Francis Drake: Being his Next Voyage to That to Nombre de Dios; Collated With an Unpublished Manuscript of Francis Fletch

eBook: All at Sea (DRM EPUB)

eBook: Law of Tort (DRM EPUB)

eBook: Greene's Tu Quoque or, The Cittie Gallant (DRM PDF)

eBook: Greene's Tu Quoque or, The Cittie Gallant (DRM EPUB)

Law of Tort (Paperback)

eBook: Rundle the Rabbit Running Rapidly (DRM EPUB)

eBook: Law of Tort PDF ebook (DRM PDF)

A Description of the Royal Hospital for Seamen, at Greenwich; With a Short Account of the Present Establishment of Officers, Pensioners, ... With a Li

The Preacher's Assistant (After the Manner of Mr. Letsome) Containing a Series of the Texts of Sermons and Discourses (Paperback)

Law of Tort (Paperback)

Law of Tort (Foundations) Premium Pack (Hardcover)

eBook: Constructing Correct Software (DRM PDF)

Law of Tort Mylawchamber Premium Pack (Paperback)

Law of Tort (Paperback)

還有... [顯示所有作品]

* 以上資料僅供參考之用, 香港書城並不保證以上資料的準確性及完整性。
* 如送貨地址在香港以外, 當書籍/產品入口時, 顧客須自行繳付入口關稅和其他入口銷售稅項。

 

 

 

  我的賬戶 |  購物車 |  出版社 |  團購優惠
加入供應商 |  廣告刊登 |  公司簡介 |  條款及細則

香港書城 版權所有 私隱政策聲明

顯示模式: 電腦版 (改為: 手機版)