Pastāsti draugiem par šo preci:
Symbolic Computation and Automated Reasoning: The CALCULEMUS-2000 Symposium 1. izdevums
Cena
€ 148,49
Pasūtīts no attālās noliktavas
Paredzamā piegāde . gada 10. - 24. sept.
Mūsu klienti saka:
Pievienot savam iMusic vēlmju sarakstam
Symbolic Computation and Automated Reasoning: The CALCULEMUS-2000 Symposium
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
288 pages, 50ill.
| Mediji | Grāmatas Hardcover Book (Grāmata ar cieto muguriņu un vāku) |
| Izlaists | 2001. gada 2. aprīlis |
| ISBN13 | 9781568811451 |
| Izdevēji | Taylor & Francis Inc |
| Lapas | 284 |
| Izmēri | 150 × 220 × 20 mm · 690 g |
| Valoda | Angļu |
| Redaktors | Kerber, Manfred |
| Redaktors | Kohlhase, Michael |
