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
- 下载次数
- 3573
- 更新日期
- 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电子书免费下载。
猜你喜欢
- 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
- English and Irish Settlement on the River Amazon, 1550–1646 (Hakluyt Society, Second Series) (English Edition) Joyce Lorimer
- Principles, Process and Practice of Professional Number Juggling (Working Guides to Estimating & Forecasting Book 1) (English Edition) Alan R. Jones
- Empirical Likelihood Methods in Biomedicine and Health (English Edition) Albert Vexler、Jihnhee Yu
- Child Protection: Families and the Conference Process (Routledge Revivals) (English Edition) Margaret Bell
- Cryptanalysis of Number Theoretic Ciphers (Computational Mathematics) (English Edition) Samuel S. Wagstaff, Jr.
- Conrad and Nature: Essays (Routledge Interdisciplinary Perspectives on Literature) (English Edition) Lissa Schneider-Rebozo、Jeffrey Mathes McCarthy、John G. Peters
- Design of Experiments for Generalized Linear Models (Chapman & Hall/CRC Interdisciplinary Statistics) (English Edition) Kenneth G. Russell
- Spatio-Temporal Statistics with R (Chapman & Hall/CRC The R Series) (English Edition) Christopher K. Wikle、Andrew Zammit-Mangion、Noel Cressie
- 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
- 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 Intersections of Whiteness (Routledge Research in Race and Ethnicity) (English Edition) Evangelia Kindinger、Mark Schmitt
- Finite Geometries (English Edition) Gyorgy Kiss、Tamas Szonyi
- Food Production in Urban Areas: A Study of Urban Agriculture in Accra, Ghana (Routledge Revivals) (English Edition) Kwaku Obosu-Mensah
- Language and Control (Routledge Library Editions: Sociolinguistics) (English Edition) Roger Fowler、Bob Hodge、Gunther Kress、Tony Trew
- The Globalisation of Real Estate: The Politics and Practice of Foreign Real Estate Investment (English Edition) Dallas Rogers、Sin Yee Koh
- The Art of Proving Binomial Identities (Discrete Mathematics and Its Applications) (English Edition) Michael Z. Spivey
- 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
- Crafting Form-Based Codes: Resilient Design, Policy, and Regulation (English Edition) Korkut Onaran
- Legal Rights for Rivers: Competition, Collaboration and Water Governance (Earthscan Studies in Water Resource Management) (English Edition) Erin O'Donnell
- Class Cultures in Post-Socialist Eastern Europe (BASEES/Routledge Series on Russian and East European Studies) (English Edition) Dražen Cepić
- 生活即教育 给父母的35堂课 范亚飞，王唯一
- 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
- Ageing and Poverty in Africa: Ugandan Livelihoods in a Time of HIV/AIDS (English Edition) Alun Williams
- Analyzing Baseball Data with R, Second Edition (Chapman & Hall/CRC The R Series) (English Edition) Max Marchi、Jim Albert、Benjamin S. Baumer
- Discrete Mathematics with Ducks (Textbooks in Mathematics) (English Edition) sarah-marie belcastro
- Computational Complexity of Counting and Sampling (Discrete Mathematics and Its Applications) (English Edition) Istvan Miklos
- 高考英语3500词汇考点助记 合肥新东方优能一对一部高中英语教研组