Recomienda este artículo a tus amigos:
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
| Medios de comunicación | Libros Paperback Book (Libro con tapa blanda y lomo encolado) |
| Publicado | 12 de febrero de 2001 |
| ISBN13 | 9783211835937 |
| Editores | Springer |
| Páginas | 266 |
| Dimensiones | 170 × 244 × 15 mm · 449 g |
| Lengua | Alemán |
| Editor | Alefeld, Goltz |
| Editor | Rohn, Jiri (University Karlovy, Praha, Czech Republic) |
| Editor | Rump, Siegfried |
| Editor | Yamamoto, Tetsuro |
Mas por Gotz Alefeld
Mostrar todoMere med samme udgiver
Ver todo de Gotz Alefeld ( Ej. Paperback Book )