Please use this identifier to cite or link to this item:
https://thuvienso.bvu.edu.vn/handle/TVDHBRVT/16917| Title: | Formal System Verification |
| Authors: | Rolf Drechsler |
| Keywords: | Engineerring |
| Issue Date: | 2018 |
| Publisher: | Springer |
| URI: | http://thuvienso.bvu.edu.vn/handle/TVDHBRVT/16917 |
| Other Identifiers: | 10.1007/978-3-319-57685-5 |
| Appears in Collections: | Engineering |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| 978-3-319-57685-5.pdf | 6,49 MB | Adobe PDF |  Sign in to read |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.