Summary goes here
Guardat en:
| Format: | Llibre |
|---|---|
| Idioma: | anglès |
| Matèries: | |
| Etiquetes: |
Afegir etiqueta
Sense etiquetes, Sigues el primer a etiquetar aquest registre!
|
| 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) |