Summary goes here
Saved in:
| Format: | Book |
|---|---|
| Language: | English |
| Subjects: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| era | |
|---|---|
| format | Book |
| genre | |
| geographic | |
| id | a71f5692-6cdd-4135-b652-b60efdfe6970 |
| isbn | 9781498775328 1498775322 9780367225704 0367225700 |
| issn | |
| language | eng |
| physical | xvii, 294 pages ;24 cm. |
| publication | – publisher: CRC Press Taylor Francis Group dateOfPublication: 2020 |
| publishDate | 2020 |
| subjects | |
| title | Formal methods in computer science / Jiacun Wang, William Tepfenhart. |
| topic | Formal methods (Computer science) |