Formal Methods in Computer Science (Textbooks in Mathematics) (English Edition)
- 作者
- Jiacun Wang
- 语言
- 英语
- 出版社
- Chapman and Hall/CRC
- 出版日期
- 2019年6月21日
- 纸书页数
- 312页
- 电子书格式
- epub,pdf,mobi,azw3,txt,fb2,djvu
- 文件大小
- 15802 KB
- 下载次数
- 3572
- 更新日期
- 2023-07-13
- 运行环境
- PC/Windows/Linux/Mac/IOS/iPhone/iPad/iBooks/Kindle/Android/安卓/平板
内容简介
This textbook gives students a comprehensive introduction to formal methods and their application in software and hardware specification and verification. It has three parts: The first part introduces some fundamentals in formal methods, including set theory, functions, finite state machines, and regular expressions. The second part focuses on logi
Formal Methods in Computer Science (Textbooks in Mathematics) (English Edition) EPUB, PDF, MOBI, AZW3, TXT, FB2, DjVu, Kindle电子书免费下载。
猜你喜欢
- Statistics in Engineering: With Examples in MATLAB® and R, Second Edition (Chapman & Hall/CRC Texts in Statistical Science) (English Edition) Andrew Metcalfe、David Green、Tony Greenfield、Mayhayaudin Mansor、Andrew Smith、Jonathan Tuke
- Class Cultures in Post-Socialist Eastern Europe (BASEES/Routledge Series on Russian and East European Studies) (English Edition) Dražen Cepić
- The Globalisation of Real Estate: The Politics and Practice of Foreign Real Estate Investment (English Edition) Dallas Rogers、Sin Yee Koh
- Analyzing Baseball Data with R, Second Edition (Chapman & Hall/CRC The R Series) (English Edition) Max Marchi、Jim Albert、Benjamin S. Baumer
- Empirical Likelihood Methods in Biomedicine and Health (English Edition) Albert Vexler、Jihnhee Yu
- English and Irish Settlement on the River Amazon, 1550–1646 (Hakluyt Society, Second Series) (English Edition) Joyce Lorimer
- Crafting Form-Based Codes: Resilient Design, Policy, and Regulation (English Edition) Korkut Onaran
- Principles, Process and Practice of Professional Number Juggling (Working Guides to Estimating & Forecasting Book 1) (English Edition) Alan R. Jones
- Food Production in Urban Areas: A Study of Urban Agriculture in Accra, Ghana (Routledge Revivals) (English Edition) Kwaku Obosu-Mensah
- 词以类记：考研英语词汇 张红岩
- Discrete Mathematics: Graph Algorithms, Algebraic Structures, Coding Theory, and Cryptography (English Edition) Sriraman Sridharan、R. Balakrishnan
- Analysis of Incidence Rates (Chapman & Hall/CRC Biostatistics Series) (English Edition) Peter Cummings
- Cryptanalysis of Number Theoretic Ciphers (Computational Mathematics) (English Edition) Samuel S. Wagstaff, Jr.
- Child Protection: Families and the Conference Process (Routledge Revivals) (English Edition) Margaret Bell
- Smart Data: State-of-the-Art Perspectives in Computing and Applications (Chapman & Hall/CRC Big Data Series) (English Edition) Kuan-Ching Li、Beniamino Di Martino、Laurence T. Yang、Qingchen Zhang
- The Countryside Of Hospitaller Rhodes 1306-1423: Original Texts And English Summaries (The Military Religious Orders; History, Sources, and Memory) (English Edition) Anthony Luttrell、Greg O'Malley
- Migration Policies and Materialities of Identification in European Cities: Papers and Gates, 1500-1930s (Routledge Advances in Urban History) (English Edition) Hilde Greefs、Anne Winter
- Conrad and Nature: Essays (Routledge Interdisciplinary Perspectives on Literature) (English Edition) Lissa Schneider-Rebozo、Jeffrey Mathes McCarthy、John G. Peters
- Discrete Mathematics with Ducks (Textbooks in Mathematics) (English Edition) sarah-marie belcastro
- 生活即教育 给父母的35堂课 范亚飞，王唯一
- The Intersections of Whiteness (Routledge Research in Race and Ethnicity) (English Edition) Evangelia Kindinger、Mark Schmitt
- Design of Experiments for Generalized Linear Models (Chapman & Hall/CRC Interdisciplinary Statistics) (English Edition) Kenneth G. Russell
- Legal Rights for Rivers: Competition, Collaboration and Water Governance (Earthscan Studies in Water Resource Management) (English Edition) Erin O'Donnell
- Spatio-Temporal Statistics with R (Chapman & Hall/CRC The R Series) (English Edition) Christopher K. Wikle、Andrew Zammit-Mangion、Noel Cressie
- Ageing and Poverty in Africa: Ugandan Livelihoods in a Time of HIV/AIDS (English Edition) Alun Williams
- 高考英语3500词汇考点助记 合肥新东方优能一对一部高中英语教研组
- Computational Complexity of Counting and Sampling (Discrete Mathematics and Its Applications) (English Edition) Istvan Miklos
- Language and Control (Routledge Library Editions: Sociolinguistics) (English Edition) Roger Fowler、Bob Hodge、Gunther Kress、Tony Trew
- Finite Geometries (English Edition) Gyorgy Kiss、Tamas Szonyi
- The Art of Proving Binomial Identities (Discrete Mathematics and Its Applications) (English Edition) Michael Z. Spivey