Items related to Programming Languages and Systems: 7th Asian Symposium,...

Programming Languages and Systems: 7th Asian Symposium, APLAS 2009, Seoul, Korea, December 14-16, 2009, Proceedings (Lecture Notes in Computer Science, 5904) - Softcover

 
9783642106712: Programming Languages and Systems: 7th Asian Symposium, APLAS 2009, Seoul, Korea, December 14-16, 2009, Proceedings (Lecture Notes in Computer Science, 5904)

Synopsis

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.

"synopsis" may belong to another edition of this title.

From the Back Cover

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.

"About this title" may belong to another edition of this title.

  • PublisherSpringer
  • Publication date2009
  • ISBN 10 3642106714
  • ISBN 13 9783642106712
  • BindingPaperback
  • LanguageEnglish
  • Number of pages369
  • EditorHu Zhenjiang

Buy Used

Condition: Fine
Zustand: Sehr gut | Seiten: 358...
View this item

US$ 51.30 shipping from Germany to U.S.A.

Destination, rates & speeds

Search results for Programming Languages and Systems: 7th Asian Symposium,...

Stock Image

Published by Springer, 2009
ISBN 10: 3642106714 ISBN 13: 9783642106712
New Softcover

Seller: Books Puddle, New York, NY, U.S.A.

Seller rating 4 out of 5 stars 4-star rating, Learn more about seller ratings

Condition: New. pp. x + 358. Seller Inventory # 261375739

Contact seller

Buy New

US$ 27.06
Convert currency
Shipping: US$ 3.99
Within U.S.A.
Destination, rates & speeds

Quantity: 4 available

Add to basket

Stock Image

Hu Z.
Published by Springer, 2009
ISBN 10: 3642106714 ISBN 13: 9783642106712
New Softcover

Seller: Basi6 International, Irving, TX, U.S.A.

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Seller Inventory # ABEJUNE24-272153

Contact seller

Buy New

US$ 32.08
Convert currency
Shipping: FREE
Within U.S.A.
Destination, rates & speeds

Quantity: 15 available

Add to basket

Stock Image

Published by Springer, 2009
ISBN 10: 3642106714 ISBN 13: 9783642106712
New Softcover

Seller: Majestic Books, Hounslow, United Kingdom

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: New. pp. x + 358 Illus. Seller Inventory # 6504996

Contact seller

Buy New

US$ 23.98
Convert currency
Shipping: US$ 8.79
From United Kingdom to U.S.A.
Destination, rates & speeds

Quantity: 4 available

Add to basket

Stock Image

Published by Springer, 2009
ISBN 10: 3642106714 ISBN 13: 9783642106712
New Softcover

Seller: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

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. Seller Inventory # ABNR-77457

Contact seller

Buy New

US$ 34.27
Convert currency
Shipping: FREE
Within U.S.A.
Destination, rates & speeds

Quantity: 5 available

Add to basket

Stock Image

Hu Zhenjiang
Published by Springer, 2009
ISBN 10: 3642106714 ISBN 13: 9783642106712
New Softcover

Seller: Biblios, Frankfurt am main, HESSE, Germany

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: New. pp. x + 358. Seller Inventory # 181375729

Contact seller

Buy New

US$ 27.55
Convert currency
Shipping: US$ 11.34
From Germany to U.S.A.
Destination, rates & speeds

Quantity: 4 available

Add to basket

Stock Image

Published by Springer, 2009
ISBN 10: 3642106714 ISBN 13: 9783642106712
New Softcover

Seller: Lucky's Textbooks, Dallas, TX, U.S.A.

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: New. Seller Inventory # ABLIING23Mar3113020218483

Contact seller

Buy New

US$ 59.54
Convert currency
Shipping: US$ 3.99
Within U.S.A.
Destination, rates & speeds

Quantity: Over 20 available

Add to basket

Stock Image

Published by Springer, 2009
ISBN 10: 3642106714 ISBN 13: 9783642106712
New Softcover

Seller: California Books, Miami, FL, U.S.A.

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: New. Seller Inventory # I-9783642106712

Contact seller

Buy New

US$ 74.00
Convert currency
Shipping: FREE
Within U.S.A.
Destination, rates & speeds

Quantity: Over 20 available

Add to basket

Stock Image

Elvira Albert, Andrew W. Appel, Xinyu Feng, Hongfei Fu, Yi Lu, Kai Ren
Published by Springer-Verlag GmbH, 2009
ISBN 10: 3642106714 ISBN 13: 9783642106712
Used Softcover

Seller: Buchpark, Trebbin, Germany

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: Sehr gut. Zustand: Sehr gut | Seiten: 358 | Sprache: Englisch | Produktart: Bücher. Seller Inventory # 6132078/12

Contact seller

Buy Used

US$ 31.23
Convert currency
Shipping: US$ 51.30
From Germany to U.S.A.
Destination, rates & speeds

Quantity: 1 available

Add to basket

Stock Image

Zhenjiang Hu
Published by Springer 2009-11-24, 2009
ISBN 10: 3642106714 ISBN 13: 9783642106712
New Paperback

Seller: Chiron Media, Wallingford, United Kingdom

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Paperback. Condition: New. Seller Inventory # 6666-IUK-9783642106712

Contact seller

Buy New

US$ 67.25
Convert currency
Shipping: US$ 20.95
From United Kingdom to U.S.A.
Destination, rates & speeds

Quantity: 10 available

Add to basket

Seller Image

Zhenjiang Hu
ISBN 10: 3642106714 ISBN 13: 9783642106712
New Taschenbuch
Print on Demand

Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 359 pp. Englisch. Seller Inventory # 9783642106712

Contact seller

Buy New

US$ 62.81
Convert currency
Shipping: US$ 26.22
From Germany to U.S.A.
Destination, rates & speeds

Quantity: 2 available

Add to basket

There are 5 more copies of this book

View all search results for this book