Order Total (1 Item Items):
Shipping Destination:
Programming Languages Systems 7th (19 results)
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (19)
- 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 (13)
- As New, Fine or Near Fine (5)
- Very Good or Good (1)
- Fair or Poor (No further results match this refinement)
- As Described (No further results match this refinement)
Binding
- All Bindings
- Hardcover (No further results match this refinement)
- Softcover (19)
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 (7)
- Not Print on Demand (19)
Language (1)
Free Shipping
Seller Location
Seller Rating
-
Paperback. 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.
-
-
-
-
Programming Languages and Systems: 7th Asian Symposium, APLAS 2009, Seoul, Korea, December 14-16, 2009, Proceedings (Lecture Notes in Computer Science, 5904)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 49.30
£ 11.98 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In English.
-
Programming Languages and Systems: 7th European Symposium on Programming, ESOP'98, Held as Part of the Joint European Conferences on Theory and ... (Lecture Notes in Computer Science, 1381)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 49.30
£ 11.98 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
-
-
Programming Languages and Systems : 7th European Symposium on Programming, Esop '98 Held As Part of the Joint European Conferences on Theory and Practice of Software, Etaps '98, Lisbon,
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New.
-
Programming Languages and Systems: 7th Asian Symposium, Aplas 2009, Seoul, Korea, December 14-16, 2009, Proceedings
Language: English
Published by Springer-Verlag New York Inc, 2009
ISBN 10: 3642106714 ISBN 13: 9783642106712
Paperback. Condition: Brand New. 1st edition. 358 pages. 9.00x6.00x0.50 inches. In Stock.
-
paperback. Condition: New. In shrink wrap. Looks like an interesting title!
-
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 7th European Symposium on Programming, ESOP'98, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98, in Lisbon, Portugal, in March/April 1998. This volume presents 17 revised full papers selected from a total of 59 submissions; also included is one invited paper. Among the issues addressed are software specification and verification, programming paradigms, semantics for formal development and implementation, program analysis, program transformation, etc.
-
Taschenbuch. Condition: Neu. Programming Languages and Systems | 7th Asian Symposium, APLAS 2009, Seoul, Korea, December 14-16, 2009, Proceedings | Zhenjiang Hu | Taschenbuch | x | Englisch | 2009 | Springer | EAN 9783642106712 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
-
Programming Languages and Systems : 7th Asian Symposium, APLAS 2009, Seoul, Korea, December 14-16, 2009, Proceedings
Language: English
Published by Springer, Berlin, Springer, 2009
ISBN 10: 3642106714 ISBN 13: 9783642106712
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 7th Asian Symposium on Programming Languages and Systems, APLAS 2009, held in Seoul, Korea, in December 2009. The 21 papers presented in this volume together with 3 invited talks were carefully reviewed and selected from 56 submissions. The papers are divided into topical sections on program analysis, transformation and optimization, type system, separation logic, logic and foundation theory, software security and verification, and software security and verification.
-
Programming Languages and Systems : 7th Asian Symposium, APLAS 2009, Seoul, Korea, December 14-16, 2009, Proceedings
Language: English
Published by Springer-Verlag GmbH, 2009
ISBN 10: 3642106714 ISBN 13: 9783642106712
£ 29.38 10% off£ 26.45
£ 91.26 shipping
Ships from Germany to U.S.A.Quantity: 1 available
Add to basketCondition: Sehr gut. Zustand: Sehr gut | Seiten: 358 | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar.
-
Programming Languages and Systems : 7th European Symposium on Programming, Esop '98 Held As Part of the Joint European Conferences on Theory and Practice of Software, Etaps '98, Lisbon,
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
£ 102.99
£ 15 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: As New. Unread book in perfect condition.
-
Paperback. Condition: Like New. Like New. book.
-
Condition: As New. Unread book in perfect condition.
-
£ 37.75 10% off
£ 33.98
£ 91.26 shipping
Ships from Germany to U.S.A.Quantity: 1 available
Add to basketCondition: Sehr gut. Zustand: Sehr gut | Seiten: 300 | Sprache: Englisch | Produktart: Bücher | This book constitutes the refereed proceedings of the 7th European Symposium on Programming, ESOP'98, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98, in Lisbon, Portugal, in March/April 1998. This volume presents 17 revised full papers selected from a total of 59 submissions; also included is one invited paper. Among the issues addressed are software specification and verification, programming paradigms, semantics for formal development and implementation, program analysis, program transformation, etc.
