Formal Methods in Computer Science (Textbooks in Mathematics) 1st Edition, Kindle Edition
US$38.26
Price when purchased online
Free shipping
Free 30-day returns
Sold and shipped by www.heroldtaxi.ch
We aim to show you accurate product information. Manufacturers, suppliers and others provide what you see here.
US$38.26
Price when purchased online
Free shipping
Free 30-day returns
Sold and shipped by www.heroldtaxi.ch
Free 30-day returns Details
Product details
| Management number | 220815051 | Release Date | 2026/05/03 | List Price | US$38.26 | Model Number | 220815051 | ||
|---|---|---|---|---|---|---|---|---|---|
| Category | |||||||||
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 Read more
| XRay | Not Enabled |
|---|---|
| Format | Print Replica |
| ISBN13 | 978-1498775335 |
| Edition | 1st |
| Language | English |
| File size | 11.4 MB |
| Page Flip | Not Enabled |
| Publisher | Chapman and Hall/CRC |
| Word Wise | Not Enabled |
| Print length | 312 pages |
| Accessibility | Learn more |
| Part of series | Textbooks in Mathematics |
| Publication date | June 21, 2019 |
| Enhanced typesetting | Not Enabled |
Bestseller ranking
Tail Lights
Customers who viewed this product also viewed
Rinse-Free Cleansers
Correction of product information
If you notice any omissions or errors in the product information on this page, please use the correction request form below.
Correction Request Form