Programming from Specifications 2024 pdf epub mobi 電子書 下載


Programming from Specifications

簡體網頁||繁體網頁

Programming from Specifications pdf epub mobi 著者簡介

Charles Carroll Morgan (born 1952) is an American computer scientist who moved to Australia in his early teens. He completed his education there (high school, university, several years in industry), including a PhD degree from the University of Sydney, and then moved to the United Kingdom in the early 1980s. In 2000, he returned to Australia.

During the 1980s and 1990s, Carroll Morgan was based at the Oxford University Computing Laboratory in England as a researcher and lecturer working in the area of formal methods. Having been influenced by the Z notation of Jean-Raymond Abrial, he authored Programming from Specifications (Prentice Hall International Series in Computer Science, ISBN 0-13-123274-6) as an attempt to bring the high-level specification aspects of Z together with the rigorous program-derivation technique of Edsger Wybe Dijkstra; his treatment concentrated on elementary program constructs in order to make the material accessible to undergraduates in their early years. Some of the ideas there were later incorporated as elements of the B-Method by Jean-Raymond Abrial, when Abrial returned in Oxford in the second half of the 1980s.

Together with Annabelle McIver, Morgan later authored Abstraction, Refinement and Proof for Probabilistic Systems (Springer Monographs in Computer Science, ISBN 978-0-387-40115-7) in which the same themes were pursued for probabilistic programs.

Morgan is now Professor at the University of New South Wales in Australia. His primary research interests are probabilistic models for security and concurrency. He is also the author of numerous papers and active member of a number of IFIP working groups.

Carroll Morgan is known as a proponent of formalized approach to program development called the Refinement Calculus.


Programming from Specifications pdf epub mobi 圖書描述

Providing a thorough treatment of most elementary programme development techniques, this revised edition covers topics such as procedures, parameters, recursion and data refinement, with the integration of specification, development and coding, based on ordinary (classical) logic. This second edition features: substantial restructuring of earlier material, streamlining the introduction of programming language features; simplified presentation of procedures, parameters and recursion; an expanded chapter on data refinement, giving the much simpler laws that specialize to functional abstractions; a new chapter on recursive types (trees etc) and appropriate control structures; and, following the original concluding case study, two completely new ones: "the recursive treatment of the largest rectangle under a histogram", and a specification and extended developnent of an electronic mail system (including limited concurrency).

Programming from Specifications 2024 pdf epub mobi 電子書 下載

Programming from Specifications pdf epub mobi 圖書目錄




點擊這裡下載
    


想要找書就要到 本本書屋
立刻按 ctrl+D收藏本頁
你會得到大驚喜!!

發表於2024-12-23

Programming from Specifications 2024 pdf epub mobi 電子書 下載

Programming from Specifications 2024 pdf epub mobi 電子書 下載

Programming from Specifications 2024 pdf epub mobi 電子書 下載



喜欢 Programming from Specifications 電子書 的读者还喜欢


Programming from Specifications pdf epub mobi 讀後感

評分

評分

評分

評分

評分

類似圖書 點擊查看全場最低價
出版者:Prentice Hall
作者:Carroll Morgan
出品人:
頁數:332
譯者:
出版時間:1994-6
價格:USD 45.00
裝幀:Paperback
isbn號碼:9780131232747
叢書系列:

圖書標籤: 規範/規格/規約  編程  形式化  pl   


Programming from Specifications 2024 pdf epub mobi 電子書 下載
想要找書就要到 本本書屋
立刻按 ctrl+D收藏本頁
你會得到大驚喜!!

Programming from Specifications pdf epub mobi 用戶評價

評分

評分

評分

評分

評分

Programming from Specifications 2024 pdf epub mobi 電子書 下載


分享鏈接





相關圖書




本站所有內容均為互聯網搜索引擎提供的公開搜索信息,本站不存儲任何數據與內容,任何內容與數據均與本站無關,如有需要請聯繫相關搜索引擎包括但不限於百度google,bing,sogou

友情鏈接

© 2024 onlinetoolsland.com All Rights Reserved. 本本書屋 版權所有