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)
Other accessories
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.Other accessoriesSoftware 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 €18.00 (33%)
Book€35.49
You save €18.00 (33%)
New €53.49€35.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.