Summary goes here
Salvato in:
| Natura: | Libro |
|---|---|
| Lingua: | inglese |
| Soggetti: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
| 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) |