Order Total (1 Item Items):
Shipping Destination:
Foundations Programming Languages (166 results)
Feedback
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (166)
- 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
- New (116)
- As New, Fine or Near Fine (17)
- Very Good or Good (31)
- Fair or Poor (2)
- As Described (No further results match this refinement)
Binding
Collectible Attributes
- First Edition (2)
- Signed (No further results match this refinement)
- Dust Jacket (No further results match this refinement)
- Seller-Supplied Images (29)
- Not Print on Demand (129)
Language (2)
Free Shipping
Seller Location
Seller Rating
-
paperback. Condition: Very Good. A clean, cared for item that is unmarked and shows limited shelf wear.
More buying choices from other sellers on AbeBooks
New offers from US$ 35.03
Used offers from US$ 4.49
Also find Softcover
-
Foundations of Programming Languages
Seller: Phatpocket Limited, Waltham Abbey, HERTS, United Kingdom
Seller rating 5 out of 5 stars
US$ 4.54
Convert currencyUS$ 14.42 shipping from United Kingdom to U.S.A.Quantity: 1 available
Add to basketCondition: 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.
-
Hardcover. Condition: Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority!
More buying choices from other sellers on AbeBooks
New offers from US$ 94.98
Used offers from US$ 24.64
Also find Hardcover First Edition
-
Foundations of Probabilistic Logic Programming: Languages, Semantics, Inference and Learning (River Publishing in Software Engineering)
Published by River Publishers (edition 2), 2023
ISBN 10: 8770227195 ISBN 13: 9788770227193
Language: English
Hardcover. Condition: As New. 2. It's a preowned item in almost perfect condition. It has no visible cosmetic imperfections. May come without any shrink wrap; pages are clean and not marred by notes or folds of any kind.
More buying choices from other sellers on AbeBooks
New offers from US$ 107.07
Used offers from US$ 30.97
Also find Hardcover
-
Paperback. Condition: Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority!
-
Condition: Very Good. Former library book; may include library markings. Used book that is in excellent condition. May show signs of wear or have minor defects.
More buying choices from other sellers on AbeBooks
New offers from US$ 259.57
Used offers from US$ 38.78
Also find Hardcover
-
Hardcover. Condition: Very Good. No Jacket. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less 2.1.
More buying choices from other sellers on AbeBooks
New offers from US$ 1,413.56
Used offers from US$ 53.93
Also find Hardcover
-
Hardcover. Condition: Very Good. No Jacket. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less 1.65.
More buying choices from other sellers on AbeBooks
New offers from US$ 359.11
Used offers from US$ 56.19
Also find Hardcover
-
Practical Foundations for Programming Languages
Published by Cambridge University Press (edition 2), 2016
ISBN 10: 1107150302 ISBN 13: 9781107150300
Language: English
Hardcover. Condition: New. 2. The item is brand new, never used or read. It's in perfect condition and may include supplements and/or access codes or come shrink-wrapped.
More buying choices from other sellers on AbeBooks
New offers from US$ 57.91
Used offers from US$ 60.70
Also find Hardcover
-
US$ 56.83
Convert currencyUS$ 4.95 shipping from United Kingdom to U.S.A.Quantity: 1 available
Add to basketCondition: Like New. Most items will be dispatched the same or the next working day. An apparently unread copy in perfect condition. Dust cover is intact with no nicks or tears. Spine has no signs of creasing. Pages are clean and not marred by notes or folds of any kind.
More buying choices from other sellers on AbeBooks
New offers from US$ 111.44
Used offers from US$ 61.78
Also find Softcover
-
Condition: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.
-
hardcover. Condition: LikeNew. Used Like New, no missing pages, no damage to binding, may have a remainder mark.
-
Qed at Large: A Survey of Engineering of Formally Verified Software (Foundations and Trends(r) in Programming Languages)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
US$ 78.82
Convert currencyUS$ 16.24 shipping from United Kingdom to U.S.A.Quantity: 1 available
Add to basketCondition: New. In.
-
US$ 40.59
Convert currencyUS$ 52.81 shipping from Germany to U.S.A.Quantity: 1 available
Add to basketCondition: good. Befriedigend/Good: Durchschnittlich erhaltenes Buch bzw. Schutzumschlag mit Gebrauchsspuren, aber vollständigen Seiten. / Describes the average WORN book or dust jacket that has all the pages present.
More buying choices from other sellers on AbeBooks
New offers from US$ 116.01
Used offers from US$ 93.40
Also find Softcover
-
![Stock image for A Framework For Efficient Modular Heap Analysis (Foundations and Trends (R) in Programming Languages): 3 (Foundations and Trends® in Programming Languages) [Paperback] Madhavan, Ravichandhran; Ramalingam, G. and Vaswani, Kapil for sale by Hay-on-Wye Booksellers](https://pictures.abebooks.com/isbn/9781680830026-us-300.jpg)
A Framework For Efficient Modular Heap Analysis (Foundations and Trends (R) in Programming Languages): 3 (Foundations and Trends® in Programming Languages) [Paperback] Madhavan, Ravichandhran; Ramalingam, G. and Vaswani, Kapil
Seller: Hay-on-Wye Booksellers, Hay-on-Wye, HEREF, United Kingdom
Seller rating 5 out of 5 stars
US$ 14.10
Convert currencyUS$ 88.12 shipping from United Kingdom to U.S.A.Quantity: 1 available
Add to basketCondition: Very Good. Minor wear at edges/corners. Faint storage scratches to cover. Light marks at extremities of text blocks. Text as new and unread.
More buying choices from other sellers on AbeBooks
New offers from US$ 147.36
Used offers from US$ 102.22
Also find Softcover
-
Condition: As New. Unread book in perfect condition.
More buying choices from other sellers on AbeBooks
New offers from US$ 133.27
Used offers from US$ 103.10
Also find Hardcover
-
![Stock image for Programming with "Big Code" (Foundations and Trends (R) in Programming Languages): 9 (Foundations and Trends® in Programming Languages) [Paperback] Vechev, Martin and Yahav, Eran for sale by Hay-on-Wye Booksellers](https://pictures.abebooks.com/isbn/9781680832303-us-300.jpg)
Programming with "Big Code" (Foundations and Trends (R) in Programming Languages): 9 (Foundations and Trends® in Programming Languages) [Paperback] Vechev, Martin and Yahav, Eran
Seller: Hay-on-Wye Booksellers, Hay-on-Wye, HEREF, United Kingdom
Seller rating 5 out of 5 stars
US$ 28.21
Convert currencyUS$ 88.12 shipping from United Kingdom to U.S.A.Quantity: 1 available
Add to basketCondition: Very Good. Unused, some outer edges have minor scuffs, cover has light scratches, some outer pages have marks from shelf wear, book content is in like new condition.
-
Condition: New.
-
US$ 74.32
Convert currencyUS$ 52.81 shipping from Germany to U.S.A.Quantity: 1 available
Add to basketCondition: good. Befriedigend/Good: Durchschnittlich erhaltenes Buch bzw. Schutzumschlag mit Gebrauchsspuren, aber vollständigen Seiten. / Describes the average WORN book or dust jacket that has all the pages present.
-
Condition: New. pp. 108.
-
![Stock image for Formal Models and Techniques for Analyzing Security Protocols: A Tutorial (Foundations and Trends (R) in Programming Languages): 2 (Foundations and Trends® in Programming Languages) [Paperback] Cortier, Véronique and Kremer, Steve for sale by Hay-on-Wye Booksellers](https://pictures.abebooks.com/isbn/9781601989024-us-300.jpg)
Formal Models and Techniques for Analyzing Security Protocols: A Tutorial (Foundations and Trends (R) in Programming Languages): 2 (Foundations and Trends® in Programming Languages) [Paperback] Cortier, Véronique and Kremer, Steve
Seller: Hay-on-Wye Booksellers, Hay-on-Wye, HEREF, United Kingdom
Seller rating 5 out of 5 stars
US$ 41.89
Convert currencyUS$ 88.12 shipping from United Kingdom to U.S.A.Quantity: 1 available
Add to basketCondition: Very Good. Unused, some outer edges have minor scuffs, cover has light scratches, some outer pages have marks from shelf wear, book content is in like new condition.
-
paperback. Condition: Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority!
-
TAPSOFT '89: Proceedings of the International Joint Conference on Theory and Practice of Software Development Barcelona, Spain, March 13-17, 1989 : Volume 2: Advanced Seminar on Foundations of Innovative Software Development II and Colloquium on Current Issues in Programming Languages (CCIPL)
Published by Springer Berlin Heidelberg, 1989
ISBN 10: 3540509402 ISBN 13: 9783540509400
Language: English
US$ 64.65
Convert currencyUS$ 73.99 shipping from Germany to U.S.A.Quantity: 1 available
Add to basketTaschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - TAPSOFT '89 is the Third International Joint Conference on Theory and Practice of Software Development held in Barcelona, Spain, March 13-17, 1989. The conference consissted of three parts: - Advanced Seminar on Foundations of Innovative Software Development - Colloquium on Trees in Algebra and Programming (CAAP '89) - Colloquium on Current Issues in Programming Languages (CCIPL) The TAPSOFT '89 Conference Proceedings are published in two volumes. The first volume includes the papers from CAAP plus the more theoretical ones of the invited papers. The second volume comprises the papers from CCIPL and the invited papers more relevant to current issues in programming languages.
-
Condition: New.
-
Condition: New. pp. 92.
-
Condition: New. pp. 138.
-
Condition: New.
-
Condition: New. pp. 146.
-
Condition: New. pp. 150.
More buying choices from other sellers on AbeBooks
New offers from US$ 166.37
Used offers from US$ 278.26
Also find Softcover
-
Condition: New. pp. 172.
