1
- John Harrison - -
53.49 €
John Harrison - Theorem Proving In Higher Order Logics: 13th International Conference, Tphols 2000 Portland, Or, Usa, August 14-18, 2000 Proceedings (lecture Notes In Computer Science, 1869, Band 1869)
MEDIMOPS
Brand: John Harrison -
EAN:
9783540678632MPN: m03540678638
Kategorie: Bücher & Zeitschriften
Brand : Springer, Binding : Taschenbuch, Edition : 2000, Label : Springer, Publisher : Springer, NumberOfItems : 1, medium : Taschenbuch, numberOfPages : 546, publicationDate : 2008-06-13, authors : John Harrison, Mark Aagaard, ISBN : 3540678638
Preise vergleichen ab:
John Harrison - in Bücher & Zeitschriften