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
unknown(9)
Dietmar Abts(7)
Barry Burd(7)
Karl Eilebrecht(5)
Joachim Goll(5)
Stephan Kleuker(5)
Dietrich Boles(4)
Claudia Kostka(4)
Kamiske, Gerd F.(4)
Joachim Merchel(4)
Michael Richter(4)
René Steiner(4)
Arnold Willemer(3)
Brunner, Franz J.(3)
Christof Ebert(3)
Davis, Stephen R.(3)
Gerhard Gietl(3)
Gerhard Linß(3)
Marcus Grande(3)
Helmut Jarosch(3)
Carreño, Victor A.(1)
Condition
Good(1)
Price
€2 - €5(1)
Medium
show all
Paperback(1)
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.PaperbackSoftware 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 €27.00 (50%)
Book€26.49
You save €27.00 (50%)
New €53.49€26.49
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.