Symbolic Computation and Automated Reasoning 1

Data & IT

Symbolic Computation and Automated Reasoning

Name: Symbolic Computation and Automated Reasoning
Price: 1669 SEK
Availability: InStock
Author: Manfred Kerber, Michael Kohlhase
ISBN: 9781568811451

Manfred Kerber • Michael Kohlhase

Inbunden

1669:-

Funktionen begränsas av dina webbläsarinställningar (t.ex. privat läge).

Uppskattad leveranstid 7-12 arbetsdagar

Fri frakt för medlemmar vid köp för minst 249:-

284 sidor
2001

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

Författare: Manfred Kerber, Michael Kohlhase
Format: Inbunden
ISBN: 9781568811451
Antal sidor: 284
Utgivningsdatum: 2001-04-02
Förlag: Taylor & Francis Inc