Pastāsti draugiem par šo preci:
Symbolic Algebraic Methods and Verification Methods (Softcover Reprint of the Origi) Gotz Alefeld Softcover Reprint of the Original 1st Ed. 2001 edition
Symbolic Algebraic Methods and Verification Methods (Softcover Reprint of the Origi)
Gotz Alefeld
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
| Mediji | Grāmatas Paperback Book (Grāmata ar mīksto vāku un līmēto muguru) |
| Izlaists | 2001. gada 12. februāris |
| ISBN13 | 9783211835937 |
| Izdevēji | Springer |
| Lapas | 266 |
| Izmēri | 170 × 244 × 15 mm · 449 g |
| Valoda | Vācu |
| Redaktors | Alefeld, Goltz |
| Redaktors | Rohn, Jiri (University Karlovy, Praha, Czech Republic) |
| Redaktors | Rump, Siegfried |
| Redaktors | Yamamoto, Tetsuro |