Momox logo
Sell books & media
Medimops logo
Buy books & more
Your watchlistWatchlistUser loginSign in
All categories
caret-down
Allcaret-down
cartcart
Category
show all
Books
Computers & Internet
IT training & careers
Software development
From
show all
Andreas Spillner(11)
unknown(11)
Kamiske, Gerd F.(9)
Joachim Goll(9)
Gerhard Gietl(8)
Dietmar Abts(7)
Barry Burd(7)
Christof Ebert(7)
Brunner, Franz J.(6)
Gernot Starke(6)
Wagner, Karl Werner(6)
Arndt Kirchner(5)
Manfred Bruhn(5)
Karl Eilebrecht(5)
Stephan Kleuker(5)
René Preißel(5)
Helmut Balzert(4)
Dietrich Boles(4)
Claudia Kostka(4)
Gene Kim(4)
Carreño, Victor A.(1)
Condition
Good(1)
Price
€2 - €5(1)
Medium
show all
Paperback(1)
3.5" and 5.25" disks(0)
This filter selection is automatically applied to the "Books" category
Language
English(1)
  • Home
  • Books
  • Computers & Internet
  • IT training & careers
  • Software development

Software development

Carreño, Victor A.3.5" and 5.25" disksSoftware development
Popularity
Theorem Proving in Higher Order Logics: 15th International Conference, TPHOLs 2002 Hampton, VA, USA, August 20-23, 2002 Proceedings (Lecture Notes in Computer Science, 2410, Band 2410)
Theorem Proving in Higher Order Logics: 15th International Conference, TPHOLs 2002 Hampton, VA, USA, August 20-23, 2002 Proceedings (Lecture Notes in Computer Science, 2410, Band 2410)
from  Carreño, Victor A.Used - goodBook - Used - good
New €53.49
You save €13.51 (25%)
Book€39.98
You save €13.51 (25%)
New €53.49€39.98
More Details
momox books logo
Customer Service
Hotline
  • +49 30 488 288 200+49 30 488 288 200
  • Monday - Friday: 09.00 - 18.00 hr


International


Order safely


medimops magazine
About us
Newsletter
Special offers, vouchers and much more! Subscribe to the newsletter and get a one-off 10% discount on your next purchase. By subscribing to the newsletter, you consent to your data being used by advertising partners for newsletter tracking and cross-channel advertising purposes in order to provide you with personalized recommendations and advertising. You can revoke your consent at any time with future effect. You can find further information in the data protection declaration.
Do you want to find out more?
Secure payment
paypalvisamastercardamexcartebleue
Shipping partner
laposte
You can also find us here
  • instagram
  • facebook

© 2025 momox SE Berlin. Buy used CDs, DVDs, books, films and games cheaply and securely online.