Symbolic Algebraic Methods and Verification Methods (Softcover Reprint of the Origi) - Gotz Alefeld - Books - Springer - 9783211835937 - February 12, 2001
In case cover and title do not match, the title is correct

Gotz Alefeld
Symbolic Algebraic Methods and Verification Methods (Softcover Reprint of the Origi) Softcover Reprint of the Original 1st Ed. 2001 edition

Price
$ 55.99
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jul 7 - 13

Our customers say:

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

A collection of worked out talks on the subjects ranging from the combination of symbolic-algebraic methods and verification methods, to hybrid methods, given during a Dagstuhl seminar at the Forschungszentrum fur Informatik, Schloss Dagstuhl, Germany.

275 pages, 16 black & white illustrations, biography

Media Books     Paperback Book   (Book with soft cover and glued back)
Released February 12, 2001
ISBN13 9783211835937
Publishers Springer
Pages 266
Dimensions 170 × 244 × 15 mm   ·   449 g
Language German  
Editor Alefeld, Goltz
Editor Rohn, Jiri (University Karlovy, Praha, Czech Republic)
Editor Rump, Siegfried
Editor Yamamoto, Tetsuro

More by Gotz Alefeld

Show all

Mere med samme udgiver

See all of Gotz Alefeld ( e.g. Paperback Book )