Order Total (1 Item Items):
Shipping Destination:
Programming Languages Implementations Logics (33 results)
Feedback
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (33)
- 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
Binding
- All Bindings
- Hardcover (No further results match this refinement)
- Softcover (33)
Collectible Attributes
- First Edition (No further results match this refinement)
- Signed (No further results match this refinement)
- Dust Jacket (No further results match this refinement)
- Seller-Supplied Images (17)
- Not Print on Demand (25)
Language (2)
Free Shipping
Seller Location
Seller Rating
-
Programming Languages: Implementations, Logics and Programs - 7th International Symposium, PLILP '95, Utrecht, the Netherlands, September 20 - 22, 1995. Proceedings (Lecture Notes in Computer Science 982)
Published by Springer-Verlag GmbH, Berlin, Germany, 1995
ISBN 10: 354060359X ISBN 13: 9783540603597
Language: English
Seller: PsychoBabel & Skoob Books, Didcot, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: Very Good. Dust Jacket Condition: No Dust Jacket. Lecture Notes in Computer Science 982; Previous owner's sticker on the front cover. Faintly bumped spine head and rubbed corners. Foot of page block slightly grubby and marked due to age. Sound, clean book with tight binding. ADG. Used.
-
Condition: Good. This is an ex-library book and may have the usual library/used-book markings inside.This book has soft covers. In good all round condition. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,700grams, ISBN:9783540617563.
-
Programming Languages: Implementations, Logics and Programs : 7th International Symposium, PLILP '95, Utrecht, The Netherlands, September 20 - 22, 1995. Proceedings
Published by Springer Berlin Heidelberg, 1995
ISBN 10: 354060359X ISBN 13: 9783540603597
Language: English
£ 9.24
Convert currency£ 7.68 shipping from Germany to United KingdomQuantity: 1 available
Add to basketCondition: Sehr gut. Zustand: Sehr gut | Seiten: 488 | Sprache: Englisch | Produktart: Sonstiges.
-
Programming Languages: Implementations, Logics and Programs: 7th International Symposium, PLILP '95, Utrecht, The Netherlands, September 20 - 22, . Notes in Computer Science (982), Band 982)
Seller: Roland Antiquariat UG haftungsbeschränkt, Weinheim, Germany
Seller rating 5 out of 5 stars
£ 5.59
Convert currency£ 12.90 shipping from Germany to United KingdomQuantity: 1 available
Add to basket1995. 488 p. Unread book. Very good condition. Minimum traces of storage. 9783540603597 Sprache: Englisch Gewicht in Gramm: 544 Softcover: 15.5 x 2.8 x 23.5 cm.
-
Programming Languages: Implementations, Logics, and Programs: 8th International Symposium, PLILP '96, Aachen, Germany, September 24 - 27, 1996. Proceedings (Lecture Notes in Computer Science, 1140)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 50.82
Convert currencyFree shipping within United KingdomQuantity: Over 20 available
Add to basketCondition: New. In.
-
Programming Languages: Implementations, Logics and Programs: 7th International Symposium, PLILP '95, Utrecht, The Netherlands, September 20 - 22, ... (Lecture Notes in Computer Science, 982)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 50.82
Convert currencyFree shipping within United KingdomQuantity: Over 20 available
Add to basketCondition: New. In.
-
Programming Languages: Implementations, Logics, and Programs: 9th International Symposium, PLILP '97, Including a Special Track on Declarative ... (Lecture Notes in Computer Science, 1292)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 50.82
Convert currencyFree shipping within United KingdomQuantity: Over 20 available
Add to basketCondition: New. In.
-
Programming Languages : Implementations, Logics, and Programs : 9th International Symposium, Plilp '97 Including a Special Track on Declarative Programming Languages in
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
£ 50.81
Convert currencyFree shipping within United KingdomQuantity: Over 20 available
Add to basketCondition: New.
-
Programming Languages : Implementations, Logics, and Programs : 9th International Symposium, Plilp '97 Including a Special Track on Declarative Programming Languages in
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
£ 55.68
Convert currencyFree shipping within United KingdomQuantity: Over 20 available
Add to basketCondition: As New. Unread book in perfect condition.
-
Programming Languages: Implementations, Logics, and Programs : 8th International Symposium, PLILP '96, Aachen, Germany, September 24 - 27, 1996. Proceedings
Published by Springer Berlin Heidelberg, 1996
ISBN 10: 3540617566 ISBN 13: 9783540617563
Language: English
£ 47.54
Convert currency£ 12.07 shipping from Germany to United KingdomQuantity: 1 available
Add to basketTaschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the Eighth International Symposium on Programming Languages, Implementations, Logics, and Programs, PLILP '96, held in conjunction with ALP and SAS in Aachen, Germany, in September 1996.The 30 revised full papers presented in the volume were selected from a total of 97 submissions; also included are one invited contribution by Lambert Meerlens and five posters and demonstrations. The papers are organized in topical sections on typing and structuring systems, program analysis, program transformation, implementation issues, concurrent and parallel programming, tools and programming environments, lambda-calculus and rewriting, constraints, and deductive database languages.
-
Programming Languages: Implementations, Logics, and Programs : 9th International Symposium, PLILP '97, Including a Special Track on Declarative Programming Languages in Education, Southampton, UK, September 3-5, 1997. Proceedings
Published by Springer Berlin Heidelberg, 1997
ISBN 10: 3540633987 ISBN 13: 9783540633983
Language: English
£ 47.54
Convert currency£ 12.07 shipping from Germany to United KingdomQuantity: 1 available
Add to basketTaschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume constitutes the refereed proceedings of the 9th International Symposium on Programming Languages, Implementations, Logics and Programs, PLILP '97, held in Southampton, UK, in September 1997, including a special track on Declarative Programming in Education.The volume presents 25 revised full papers selected from 68 submissions. Also included are one invited paper and three posters. The papers are devoted to exploring the relation between implementation techniques, the logic of the languages, and the use of the languages in construcing real programs. Topics of interest include implementation of declarative concepts, integration of paradigms, program analysis and transformation, programming environments, executable specifications, reasoning about language constructs, etc.
-
Programming Languages: Implementations, Logics and Programs : 7th International Symposium, PLILP '95, Utrecht, The Netherlands, September 20 - 22, 1995. Proceedings
Published by Springer Berlin Heidelberg, 1995
ISBN 10: 354060359X ISBN 13: 9783540603597
Language: English
£ 47.54
Convert currency£ 12.07 shipping from Germany to United KingdomQuantity: 1 available
Add to basketTaschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the proceedings of the Seventh International Symposium on Programming Languages: Implementations, Logics and Programs, PLILP '95, held in Utrecht, The Netherlands, in September 1995.The book presents 26 refereed full papers selected from 84 submissions; they report research on declarative programming languages and provide insights in the relation between the logic of those languages, implementation techniques, and the use of these languages in constructing real programs. In addition there are abstracts or full presentations of three invited talks as well as eight posters and demonstrations.
-
£ 46.30
Convert currency£ 14.65 shipping from U.S.A. to United KingdomQuantity: Over 20 available
Add to basketCondition: New.
-
£ 12.02
Convert currency£ 54.96 shipping from U.S.A. to United KingdomQuantity: 1 available
Add to basketPaperback. Condition: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments.
-
£ 54.63
Convert currency£ 14.65 shipping from U.S.A. to United KingdomQuantity: Over 20 available
Add to basketCondition: As New. Unread book in perfect condition.
-
Programming Languages: Implementations, Logics, and Programs
Published by Springer Berlin Heidelberg, Springer Berlin Heidelberg Aug 1997, 1997
ISBN 10: 3540633987 ISBN 13: 9783540633983
Language: English
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Seller rating 5 out of 5 stars
£ 47.54
Convert currency£ 30.21 shipping from Germany to United KingdomQuantity: 2 available
Add to basketTaschenbuch. Condition: Neu. Neuware -This volume constitutes the refereed proceedings of the 9th International Symposium on Programming Languages, Implementations, Logics and Programs, PLILP '97, held in Southampton, UK, in September 1997, including a special track on Declarative Programming in Education.The volume presents 25 revised full papers selected from 68 submissions. Also included are one invited paper and three posters. The papers are devoted to exploring the relation between implementation techniques, the logic of the languages, and the use of the languages in construcing real programs. Topics of interest include implementation of declarative concepts, integration of paradigms, program analysis and transformation, programming environments, executable specifications, reasoning about language constructs, etc.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 444 pp. Englisch.
-
£ 28.67
Convert currency£ 54.96 shipping from U.S.A. to United KingdomQuantity: 1 available
Add to basketPaperback. Condition: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments. Except for library markings, interior clean and unmarked. Tight binding.
-
PF. Condition: New.
-
PF. Condition: New.
-
PF. Condition: New.
-
£ 37
Convert currency£ 54.96 shipping from U.S.A. to United KingdomQuantity: 1 available
Add to basketPaperback. Condition: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments.
-
£ 45.29
Convert currency£ 54.96 shipping from U.S.A. to United KingdomQuantity: Over 20 available
Add to basketCondition: New.
-
£ 45.29
Convert currency£ 54.96 shipping from U.S.A. to United KingdomQuantity: Over 20 available
Add to basketCondition: New.
-
£ 45.29
Convert currency£ 54.96 shipping from U.S.A. to United KingdomQuantity: Over 20 available
Add to basketCondition: New.
-
Programming Languages: Implementations, Logics, and Programs: 9th International Symposium, PLILP '97, Including a Special Track on Declarative . (Lecture Notes in Computer Science, 1292)
Published by Springer, 1997
£ 36.42
Convert currency£ 29.31 shipping from U.S.A. to United KingdomQuantity: 1 available
Add to basketpaperback. Condition: Good. Ex-library book rebound to a hardcover, usual library markings and stickers. Light wear to cover and pages.
-
Programming Languages: Implementations, Logics, and Programs
Published by Springer Berlin Heidelberg Aug 1997, 1997
ISBN 10: 3540633987 ISBN 13: 9783540633983
Language: English
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
£ 47.54
Convert currency£ 9.49 shipping from Germany to United KingdomQuantity: 2 available
Add to basketTaschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume constitutes the refereed proceedings of the 9th International Symposium on Programming Languages, Implementations, Logics and Programs, PLILP '97, held in Southampton, UK, in September 1997, including a special track on Declarative Programming in Education.The volume presents 25 revised full papers selected from 68 submissions. Also included are one invited paper and three posters. The papers are devoted to exploring the relation between implementation techniques, the logic of the languages, and the use of the languages in construcing real programs. Topics of interest include implementation of declarative concepts, integration of paradigms, program analysis and transformation, programming environments, executable specifications, reasoning about language constructs, etc. 444 pp. Englisch.
-
Programming Languages: Implementations, Logics, and Programs
Published by Springer Berlin Heidelberg, 1997
ISBN 10: 3540633987 ISBN 13: 9783540633983
Language: English
£ 43
Convert currency£ 21.57 shipping from Germany to United KingdomQuantity: Over 20 available
Add to basketKartoniert / Broschiert. Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This volume constitutes the refereed proceedings of the 9th International Symposium on Programming Languages, Implementations, Logics and Programs, PLILP 97, held in Southampton, UK, in September 1997, including a special track on Declarative Programming i.
-
Programming Languages: Implementations, Logics, and Programs
Published by Springer Berlin Heidelberg, 1996
ISBN 10: 3540617566 ISBN 13: 9783540617563
Language: English
£ 43
Convert currency£ 21.57 shipping from Germany to United KingdomQuantity: Over 20 available
Add to basketCondition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This book constitutes the refereed proceedings of the Eighth International Symposium on Programming Languages, Implementations, Logics, and Programs, PLILP 96, held in conjunction with ALP and SAS in Aachen, Germany, in September 1996.The 30 revised fu.
-
Programming Languages: Implementations, Logics and Programs
Published by Springer Berlin Heidelberg, 1995
ISBN 10: 354060359X ISBN 13: 9783540603597
Language: English
£ 43
Convert currency£ 21.57 shipping from Germany to United KingdomQuantity: Over 20 available
Add to basketCondition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This book constitutes the proceedings of the Seventh International Symposium on Programming Languages: Implementations, Logics and Programs, PLILP 95, held in Utrecht, The Netherlands, in September 1995.The book presents 26 refereed full papers selecte.
-
Programming Languages: Implementations, Logics and Programs
Published by Springer Berlin Heidelberg, Springer Berlin Heidelberg Sep 1995, 1995
ISBN 10: 354060359X ISBN 13: 9783540603597
Language: English
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Seller rating 5 out of 5 stars
£ 47.54
Convert currency£ 30.21 shipping from Germany to United KingdomQuantity: 1 available
Add to basketTaschenbuch. Condition: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This book constitutes the proceedings of the Seventh International Symposium on Programming Languages: Implementations, Logics and Programs, PLILP '95, held in Utrecht, The Netherlands, in September 1995.The book presents 26 refereed full papers selected from 84 submissions; they report research on declarative programming languages and provide insights in the relation between the logic of those languages, implementation techniques, and the use of these languages in constructing real programs. In addition there are abstracts or full presentations of three invited talks as well as eight posters and demonstrations.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 488 pp. Englisch.
