1
- Boulton, Richard J. - -
53.49 €
Boulton, Richard J. - Theorem Proving In Higher Order Logics: 14th International Conference, Tphols 2001, Edinburgh, Scotland, Uk, September 3-6, 2001. Proceedings (lecture Notes In Computer Science, 2152, Band 2152)
MEDIMOPS
Brand: Boulton, Richard J. -
EAN:
9783540425250MPN: m0354042525x
Kategorie: Bücher & Zeitschriften
Brand : Springer, Binding : Taschenbuch, Edition : 2001, Label : Springer, Publisher : Springer, NumberOfItems : 1, medium : Taschenbuch, numberOfPages : 410, publicationDate : 2008-06-13, authors : Boulton, Richard J., Jackson, Paul B., ISBN : 354042525X
Preise vergleichen ab:
Boulton, Richard J. - in Bücher & Zeitschriften