Symbolic Computation and Automated Reasoning
Taylor & Francis Inc, 2001
157,50 €On orderDelivery: 2-3 weeks
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
- ISBN-13
- 9781568811451
- ISBN-10
- 1568811454
- Publisher
- Taylor & Francis Inc
- Year
- 2001
- Publication date
- 2001-04-02
- Pages
- 284
- Dimensions
- 229x152x
- Weight
- 690