Sell books & media
Buy books & more
Watchlist
Sign in
All categories
All
x
Category
show all
Books
Computers & Internet
IT training & careers
Software development
Software development
(1)
From
show all
unknown
(6)
Joseph Albahari
(2)
Albert Fleischmann
(2)
Borromeo, Nicolas Alejandro
(2)
Alexey Soshin
(2)
Bill Gates
(2)
Yevgeniy Brikman
(2)
Elaine Weinmann
(2)
Neal Ford
(2)
Scott Kelby
(2)
Kyle McFarlin
(2)
Magnus Larsson
(2)
Sam Newman
(2)
Black, David A.
(1)
Carreño, Victor A.
(1)
Moore, Emily A
(1)
Kaminka, Gal A.
(1)
Maurer, H. A.
(1)
Penfold, R. A.
(1)
Luca Aceto
(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
show all
English
(1)
Home
Books
Computers & Internet
IT training & careers
Software development
Software development
filter (4)
Carreño, Victor A.
English
3.5" and 5.25" disks
Software development
Only available items
Popularity
Price: ascending
Price: descending
Oldest articles
Latest articles
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)
from
Carreño, Victor A.
Used - good
Book - Used - good
New
€53.49
You save €13.51 (25%)
Book
€39.98
You save €13.51 (25%)
New
€53.49
€39.98
Add to watchlist
More Details
Add to Cart
+49 30 488 288 200
