Symbolic Computation and Automated Reasoning
The CALCULEMUS-2000 Symposium
Inbunden, Engelska, 2001
1 599 kr
Beställningsvara. Skickas inom 10-15 vardagar
Fri frakt för medlemmar vid köp för minst 249 kr.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
Produktinformation
- Utgivningsdatum2001-04-02
- Mått152 x 229 x undefined mm
- Vikt566 g
- FormatInbunden
- SpråkEngelska
- Antal sidor284
- FörlagTaylor & Francis Inc
- ISBN9781568811451