Order Total (1 Item Items):
Shipping Destination:
Apt Krzysztof (329 results)
Feedback
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (329)
- Magazines & Periodicals (No further results match this refinement)
- Comics (No further results match this refinement)
- Sheet Music (No further results match this refinement)
- Art, Prints & Posters (No further results match this refinement)
- Photographs (No further results match this refinement)
- Maps (No further results match this refinement)
- Manuscripts & Paper Collectibles (No further results match this refinement)
Condition Learn more
Collectible Attributes
- First Edition (6)
- Signed (No further results match this refinement)
- Dust Jacket (No further results match this refinement)
- Seller-Supplied Images (86)
- Not Print on Demand (268)
Language (3)
Free Shipping
Seller Location
Seller Rating
-
Constraint Logic Programming using Eclipse
Published by Cambridge University Press, 2006
ISBN 10: 0521866286 ISBN 13: 9780521866286
Language: English
Hardcover. Condition: Used; Very Good. **SHIPPED FROM UK** We believe you will be completely satisfied with our quick and reliable service. All orders are dispatched as swiftly as possible! Buy with confidence! Greener Books.
More buying choices from other sellers on AbeBooks
New offers from £ 29.25
Used offers from £ 6.07
Also find Hardcover First Edition
-
Logics and Models of Concurrent Systems
Published by Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 1985
ISBN 10: 3540151818 ISBN 13: 9783540151814
Language: English
Hardcover. Condition: Très bon. Ancien livre de bibliothèque. Traces d'usure sur la couverture. Salissures sur la tranche. Edition 1985. Tome 13. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Signs of wear on the cover. Stains on the edge. Edition 1985. Volume 13. Ammareal gives back up to 15% of this item's net price to charity organizations.
-
From Logic Programming to Prolog
Seller: Phatpocket Limited, Waltham Abbey, HERTS, United Kingdom
Seller rating 5 out of 5 stars
Condition: Good. Your purchase helps support Sri Lankan Children's Charity 'The Rainbow Centre'. Ex-library, so some stamps and wear, but in good overall condition. Our donations to The Rainbow Centre have helped provide an education and a safe haven to hundreds of children who live in appalling conditions.
More buying choices from other sellers on AbeBooks
Used offers from £ 6.16
Also find Softcover First Edition
-
![Stock image for Logic Programming : The Joint [9th] International Conference and Symposium for sale by Better World Books Ltd](https://pictures.abebooks.com/isbn/9780262510646-uk-300.jpg)
Logic Programming : The Joint [9th] International Conference and Symposium
Seller: Better World Books Ltd, Dunfermline, United Kingdom
Seller rating 5 out of 5 stars
Condition: Very Good. Ships from the UK. Former library book; may include library markings. Used book that is in excellent condition. May show signs of wear or have minor defects.
-
Programmverifikation : sequentielle, parallele und verteilte Programme. Springer-Lehrbuch
Published by Berlin ; Heidelberg ; New York ; London ; Paris ; Tokyo ; Hong Kong ; Barcelona ; Budapest : Springer, 1994
ISBN 10: 3540574794 ISBN 13: 9783540574798
Language: German
Seller: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Germany
Seller rating 5 out of 5 stars
£ 2.63
Convert currency£ 6.88 shipping from Germany to United KingdomQuantity: 1 available
Add to basketSoftcover-Großformat. Condition: Gut. XII, 258 S. Der Erhaltungszustand des hier angebotenen Werks ist trotz seiner Bibliotheksnutzung sehr sauber. Es befindet sich neben dem Rückenschild lediglich ein Bibliotheksstempel im Buch; ordnungsgemäß entwidmet. Sprache: Deutsch Gewicht in Gramm: 440.
More buying choices from other sellers on AbeBooks
New offers from £ 30.39
Used offers from £ 9.51
Also find Softcover
-
Verification of Sequential and Concurrent Programs (Texts in Computer Science)
Seller: Phatpocket Limited, Waltham Abbey, HERTS, United Kingdom
Seller rating 5 out of 5 stars
Condition: Good. Your purchase helps support Sri Lankan Children's Charity 'The Rainbow Centre'. Ex-library, so some stamps and wear, but in good overall condition. Our donations to The Rainbow Centre have helped provide an education and a safe haven to hundreds of children who live in appalling conditions.
More buying choices from other sellers on AbeBooks
New offers from £ 131.65
Used offers from £ 14.58
-
New Perspectives on Games and Interaction (Texts in Logic and Games)
Published by Amsterdam University Press, 2014
ISBN 10: 9089640576 ISBN 13: 9789089640574
Language: English
Seller: Prior Books Ltd, Cheltenham, United Kingdom
Association Member: ABA ILAB PBFA
Seller rating 5 out of 5 stars
First Edition
Paperback. Condition: Like New. First Edition. Firm, square and tight with strong joints and sharp corners, just a non-text page stamped 'damaged' due to some hardly noticeable shelf wear. Despite such this book is actually in nearly condition: fresh, crisp and clean with no defects. Thus a nice copy in great shape offered for sale at a bargain price.
-
Verification of Sequential and Concurrent Programs (Texts in Computer Science)
Published by Springer
Condition: Good. Most items will be dispatched the same or the next working day. A copy that has been read but remains in clean condition. All of the pages are intact and the cover is intact and the spine may show signs of wear. The book may have minor markings which are not specifically mentioned. Ex library copy with usual stamps & stickers.
-
£ 22.74
Convert currency£ 10.39 shipping from Ireland to United KingdomQuantity: 1 available
Add to basketHardcover. Condition: Near Fine. 3rd Edition. Hardcover, 3rd edition, xxiii + 502 pages, NOT ex-library. Shipping weight over 1kg. Signs of mild wear, book is clean and bright with unmarked text, free of inscriptions and stamps, firmly bound. Issued without a dust jacket. -- An in-depth exploration of the methodologies and techniques used for verifying the correctness of both sequential and concurrent programs. This comprehensive text delves into the theoretical foundations and practical applications of program verification. The book covers a range of topics, including formal methods, algorithmic analysis, and model checking, making it an essential resource for computer scientists, researchers, and students interested in ensuring software reliability and performance. With its detailed explanations and illustrative examples, the book equips readers with the knowledge needed to address complex verification challenges in modern computing systems.
-
Verification of Sequential and Concurrent Programs (Texts & Monographs in Computer Science)
Published by Springer-Verlag New York, Incorporated (edition ), 1991
ISBN 10: 0387975322 ISBN 13: 9780387975320
Language: English
£ 29.50
Convert currency£ 4.43 shipping from U.S.A. to United KingdomQuantity: 1 available
Add to basketHardcover. Condition: Good. It's a preowned item in good condition and includes all the pages. It may have some general signs of wear and tear, such as markings, highlighting, slight damage to the cover, minimal wear to the binding, etc., but they will not affect the overall reading experience.
More buying choices from other sellers on AbeBooks
New offers from £ 46.31
Used offers from £ 33.93
Also find Hardcover
-
Condition: New. pp. 456.
More buying choices from other sellers on AbeBooks
New offers from £ 34.12
Used offers from £ 36.87
Also find Hardcover
-
Logic Programming Languages : Constraints, Functions, and Objects
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
£ 35.60
Convert currencyFree shipping within United KingdomQuantity: Over 20 available
Add to basketCondition: New.
More buying choices from other sellers on AbeBooks
New offers from £ 35.60
Used offers from £ 36.91
Also find Softcover
-
Brief History Of Mathematics For Curious Minds, A
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New.
More buying choices from other sellers on AbeBooks
New offers from £ 36.61
Used offers from £ 39
Also find Softcover
-
£ 22.05
Convert currency£ 20.69 shipping from Germany to United KingdomQuantity: 1 available
Add to basketCondition: Gut. Zustand: Gut | Sprache: Englisch | Produktart: Bücher.
-
Verification of Sequential and Concurrent Programs
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 44.13
Convert currencyFree shipping within United KingdomQuantity: Over 20 available
Add to basketCondition: New. In.
-
Logics and Models of Concurrent Systems (NATO Asi Series, Advanced Science Institutes Series, Series F, Computer and Systems Sciences, Vol 13)
Seller: Phatpocket Limited, Waltham Abbey, HERTS, United Kingdom
Seller rating 5 out of 5 stars
Condition: Good. Your purchase helps support Sri Lankan Children's Charity 'The Rainbow Centre'. Ex-library, so some stamps and wear, but in good overall condition. Our donations to The Rainbow Centre have helped provide an education and a safe haven to hundreds of children who live in appalling conditions.
-
Recent Advances In Constraints : Joint ERCIM/CoLogNET International Workshop on Contraint Solving and Constraint Logic Programming, CSCLP 2003 Budapest, Hungary, June/July 2003, Selected Papers
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
£ 47.07
Convert currencyFree shipping within United KingdomQuantity: Over 20 available
Add to basketCondition: New.
More buying choices from other sellers on AbeBooks
New offers from £ 47.07
Used offers from £ 55.70
Also find Softcover
-
Recent Advances in Constraints: Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2003, ... June 30 - July 2, 2003, Selected Papers
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 45.62
Convert currencyFree shipping within United KingdomQuantity: Over 20 available
Add to basketCondition: New. In.
-
Formal description of programming concepts / Erich J. Neuhold ; Manfred Paul (eds.). With contributions by K. R. Apt . / State-of-the-art reports / IFIP
Published by Berlin ; Heidelberg ; New York ; London ; Paris ; Tokyo ; Hong Kong ; Barcelona ; Budapest : Springer, 1991
ISBN 10: 3540539611 ISBN 13: 9783540539612
Language: English
Seller: Roland Antiquariat UG haftungsbeschränkt, Weinheim, Germany
Seller rating 5 out of 5 stars
£ 35.55
Convert currency£ 12.94 shipping from Germany to United KingdomQuantity: 1 available
Add to basketHardcover. 1991. VI, 507 p. ; 24 cm Very good condition. Minimum traces of storage. --- Sehr guter Zustand. Minimale Lagerspuren. 9783540539612 Sprache: Englisch Gewicht in Gramm: 1134.
-
New Trends Constraints : Joint Ercim/Compulog Net Workshop, Paphos, Cyprus, October 25-27, 1999 : Selected Papers
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
£ 49.12
Convert currencyFree shipping within United KingdomQuantity: Over 20 available
Add to basketCondition: New.
More buying choices from other sellers on AbeBooks
New offers from £ 49.12
Used offers from £ 55.72
Also find Softcover
-
Lectues in Games Theory for Computer Scientists
Published by Cambridge University Press, 2011
ISBN 10: 0521198666 ISBN 13: 9780521198660
Language: English
Seller: avelibro OHG, Dinkelscherben, Germany
Association Member: BOEV
Seller rating 5 out of 5 stars
£ 40.12
Convert currency£ 9.79 shipping from Germany to United KingdomQuantity: 9 available
Add to basket4°, Gebundene Ausgabe. Condition: Sehr gut. 295 pp. Ausgetragenes Bibliotheksexemplar, mit leichten Gebrauchsspuren DE-10-18 Sprache: Englisch Gewicht in Gramm: 757.
More buying choices from other sellers on AbeBooks
New offers from £ 73.86
Used offers from £ 49.91
Also find Hardcover
-
New Perspectives on Games and Interaction
Published by Amsterdam University Press, 2008
ISBN 10: 9089640576 ISBN 13: 9789089640574
Language: English
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
£ 54.13
Convert currencyFree shipping within United KingdomQuantity: Over 20 available
Add to basketCondition: New.
More buying choices from other sellers on AbeBooks
New offers from £ 54.13
Used offers from £ 67.72
Also find Softcover
-
Principles of Constraint Programming
Published by Cambridge University Press 2010-01-07, 2010
ISBN 10: 0521125499 ISBN 13: 9780521125499
Language: English
Paperback. Condition: New.
More buying choices from other sellers on AbeBooks
New offers from £ 58.75
Used offers from £ 63.98
Also find Softcover
-
£ 38.13
Convert currency£ 22.17 shipping from U.S.A. to United KingdomQuantity: 1 available
Add to basketCondition: New. SUPER FAST SHIPPING.
More buying choices from other sellers on AbeBooks
New offers from £ 49.40
Used offers from £ 114.57
Also find Softcover
-
Principles of Constraint Programming
Published by Cambridge University Press, 2003
ISBN 10: 0521825830 ISBN 13: 9780521825832
Language: English
Hardcover. Condition: Used; Very Good. **SHIPPED FROM UK** We believe you will be completely satisfied with our quick and reliable service. All orders are dispatched as swiftly as possible! Buy with confidence! Greener Books.
More buying choices from other sellers on AbeBooks
New offers from £ 74.75
Used offers from £ 60.99
Also find Hardcover
-
Brief History Of Mathematics For Curious Minds, A
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New.
More buying choices from other sellers on AbeBooks
New offers from £ 64.04
Used offers from £ 67.91
Also find Hardcover
-
£ 64.75
Convert currency£ 2.38 shipping from Italy to United KingdomQuantity: Over 20 available
Add to basketCondition: new.
More buying choices from other sellers on AbeBooks
New offers from £ 67.13
Used offers from £ 87.71
Also find Softcover
-
Verification of Sequential and Concurrent Programs (Texts in Computer Science)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 76.82
Convert currencyFree shipping within United KingdomQuantity: Over 20 available
Add to basketCondition: New. In.
More buying choices from other sellers on AbeBooks
New offers from £ 76.82
Used offers from £ 127
Also find Softcover
-
Constraint Logic Programming Using Eclipse
Published by Cambridge University Press, 2007
Language: English
£ 71.90
Convert currency£ 11.25 shipping from India to United KingdomQuantity: 1 available
Add to basketHardcover. Condition: New. ISBN:9780521866286.
-
Concepts in Programming Languages
Published by Cambridge University Press, 2002
ISBN 10: 0521780985 ISBN 13: 9780521780988
Language: English
Condition: New. pp. 540 Illus.
