Symbolic Computation and Automated Reasoning: The CALCULEMUS-2000 Symposium - - Books - Taylor & Francis Inc - 9781568811451 - April 2, 2001
In case cover and title do not match, the title is correct

Symbolic Computation and Automated Reasoning: The CALCULEMUS-2000 Symposium 1st edition

Price
€ 133.99

Ordered from remote warehouse

Expected delivery Aug 17 - 31

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

Not rated yet

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.

Media Books     Hardcover Book   (Book with hard spine and cover)
Released April 2, 2001
ISBN13 9781568811451
Publishers Taylor & Francis Inc
Pages 284
Dimensions 150 × 220 × 20 mm   ·   690 g
Language English  
Editor Kerber, Manfred
Editor Kohlhase, Michael

More from the same publisher