Symbolic Computation and Automated Reasoning: The CALCULEMUS-2000 Symposium
(Bog, Hardback, Engelsk)
Forlag:
Taylor & Francis Inc
- Type: Bog
- Format: Hardback
-
Sprog:
Engelsk
- ISBN-13: 9781568811451
- Se flere detaljer ▼
Beskrivelse
While mathematical software packages are commercially successful and widely used, the use of formal methods in hardware and software development is also becoming more and more important and necessary
Læsernes anmeldelser (0)
Alle detaljer
| Forlag | Taylor & Francis Inc |
| Type | Bog |
| Format | Hardback |
| Sprog | Engelsk |
| Udgivelsesdato | 02-04-2001 |
| Første udgivelsesår | 2001 |
| Fagredaktør | Manfred Kerber, Michael Kohlhase |
| Originalsprog | United States |
| Sideantal | 284 |
| Indbinding | Hardback |
| Forlag | Taylor & Francis Inc |
| Sideoplysninger | 284 pages |
| Mål | 229 x 152 |
| ISBN-13 / EAN-13 | 9781568811451 |