von Marino Miculan,Ivan Scagnetto Furio Honsell
Taschenbuch
EAN=ISBN-13: 978-3-540-84799-1
ISBN-10: 3-540-84799-5
Springer · 2008
|
|
von Marino Miculan,Ivan Scagnetto Furio HonsellTaschenbuch EAN=ISBN-13: 978-3-540-84799-1 ISBN-10: 3-540-84799-5 Springer · 2008 |
| Siehe auch (möglicherweise von anderen Autoren): | ||
| Taschenbuch | Types for Proofs and Programs | |