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电子书免费下载。
猜你喜欢
- Child Protection: Families and the Conference Process (Routledge Revivals) (English Edition) Margaret Bell
- 高考英语3500词汇考点助记 合肥新东方优能一对一部高中英语教研组
- 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
- Finite Geometries (English Edition) Gyorgy Kiss、Tamas Szonyi
- Analysis of Incidence Rates (Chapman & Hall/CRC Biostatistics Series) (English Edition) Peter Cummings
- The Art of Proving Binomial Identities (Discrete Mathematics and Its Applications) (English Edition) Michael Z. Spivey
- Ageing and Poverty in Africa: Ugandan Livelihoods in a Time of HIV/AIDS (English Edition) Alun Williams
- 词以类记：考研英语词汇 张红岩
- Crafting Form-Based Codes: Resilient Design, Policy, and Regulation (English Edition) Korkut Onaran
- 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
- Conrad and Nature: Essays (Routledge Interdisciplinary Perspectives on Literature) (English Edition) Lissa Schneider-Rebozo、Jeffrey Mathes McCarthy、John G. Peters
- Computational Complexity of Counting and Sampling (Discrete Mathematics and Its Applications) (English Edition) Istvan Miklos
- The Intersections of Whiteness (Routledge Research in Race and Ethnicity) (English Edition) Evangelia Kindinger、Mark Schmitt
- 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
- The Globalisation of Real Estate: The Politics and Practice of Foreign Real Estate Investment (English Edition) Dallas Rogers、Sin Yee Koh
- 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
- Discrete Mathematics: Graph Algorithms, Algebraic Structures, Coding Theory, and Cryptography (English Edition) Sriraman Sridharan、R. Balakrishnan
- Analyzing Baseball Data with R, Second Edition (Chapman & Hall/CRC The R Series) (English Edition) Max Marchi、Jim Albert、Benjamin S. Baumer
- Principles, Process and Practice of Professional Number Juggling (Working Guides to Estimating & Forecasting Book 1) (English Edition) Alan R. Jones
- 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
- 生活即教育 给父母的35堂课 范亚飞，王唯一
- Discrete Mathematics with Ducks (Textbooks in Mathematics) (English Edition) sarah-marie belcastro
- 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ć
- Food Production in Urban Areas: A Study of Urban Agriculture in Accra, Ghana (Routledge Revivals) (English Edition) Kwaku Obosu-Mensah
- English and Irish Settlement on the River Amazon, 1550–1646 (Hakluyt Society, Second Series) (English Edition) Joyce Lorimer
- Empirical Likelihood Methods in Biomedicine and Health (English Edition) Albert Vexler、Jihnhee Yu
- Language and Control (Routledge Library Editions: Sociolinguistics) (English Edition) Roger Fowler、Bob Hodge、Gunther Kress、Tony Trew
- Cryptanalysis of Number Theoretic Ciphers (Computational Mathematics) (English Edition) Samuel S. Wagstaff, Jr.