Scan barcode
134 pages • missing pub info (editions)
ISBN/UID: 9781986274111
Format: Paperback
Language: English
Publisher: Createspace Independent Publishing Platform
Publication date: 06 March 2018
Description
There are already many books on formal verification, from academic to application-centric, and from tutorials for beginners to guides for advanced users. Many are excellent for their intended purpose; we recommend a few at the end of this book. Bu...
Community Reviews
Content Warnings
134 pages • missing pub info (editions)
ISBN/UID: 9781986274111
Format: Paperback
Language: English
Publisher: Createspace Independent Publishing Platform
Publication date: 06 March 2018
Description
There are already many books on formal verification, from academic to application-centric, and from tutorials for beginners to guides for advanced users. Many are excellent for their intended purpose; we recommend a few at the end of this book. Bu...
Community Reviews
Content Warnings