1
- Burkhart Wolff - -
53.49 €
Burkhart Wolff - Theorem Proving In Higher Order Logics: 16th International Conference, Tphols 2003, Rom, Italy, September 8-12, 2003, Proceedings (lecture Notes In Computer Science, 2758, Band 2758)
MEDIMOPS
Brand: Burkhart Wolff -
EAN:
9783540406648MPN: m03540406646
Kategorie: Bücher & Zeitschriften
Brand : Springer, Binding : Taschenbuch, Edition : 2003, Label : Springer, Publisher : Springer, NumberOfItems : 1, medium : Taschenbuch, numberOfPages : 380, publicationDate : 2008-06-13, authors : Burkhart Wolff, David Basin, ISBN : 3540406646
Preise vergleichen ab:
Burkhart Wolff - in Bücher & Zeitschriften