| 書目名稱 | Concise Guide to Formal Methods | | 副標(biāo)題 | Theory, Fundamentals | | 編輯 | Gerard O‘Regan | | 視頻video | http://file.papertrans.cn/236/235105/235105.mp4 | | 概述 | Presents a broad and concise account of formal methods, covering both theory and applications.Discusses a selection of formal methods and tools to support formal methods.Introduces the fundamental con | | 叢書名稱 | Undergraduate Topics in Computer Science | | 圖書封面 |  | | 描述 | This invaluable textbook/reference provides an easy-to-read guide to the fundamentals of formal methods, highlighting the rich applications of formal methods across a diverse range of areas of computing..Topics and features: introduces the key concepts in software engineering, software reliability and dependability, formal methods, and discrete mathematics; presents a short history of logic, from Aristotle’s syllogistic logic and the logic of the Stoics, through Boole’s symbolic logic, to Frege’s work on predicate logic; covers propositional and predicate logic, as well as more advanced topics such as fuzzy logic, temporal logic, intuitionistic logic, undefined values, and the applications of logic to AI; examines the Z specification language, the Vienna Development Method (VDM) and Irish School of VDM, and the unified modelling language (UML); discusses Dijkstra’s calculus of weakest preconditions, Hoare’s axiomatic semantics of programming languages, and the classical approachof Parnas and his tabular expressions; provides coverage of automata theory, probability and statistics, model checking, and the nature of proof and theorem proving; reviews a selection of tools available to | | 出版日期 | Textbook 2017 | | 關(guān)鍵詞 | Formal methods; Software verification; Automata theory; Computational logic; Requirements analysis; Softw | | 版次 | 1 | | doi | https://doi.org/10.1007/978-3-319-64021-1 | | isbn_softcover | 978-3-319-64020-4 | | isbn_ebook | 978-3-319-64021-1Series ISSN 1863-7310 Series E-ISSN 2197-1781 | | issn_series | 1863-7310 | | copyright | Springer International Publishing AG, part of Springer Nature 2017 |
The information of publication is updating
|
|
|Archiver|手機(jī)版|小黑屋|
派博傳思國(guó)際
( 京公網(wǎng)安備110108008328)
GMT+8, 2025-10-17 10:20
發(fā)表于 2025-3-21 19:46:36
