Items related to Programming Languages and Systems: 15th European Symposium...

Programming Languages and Systems: 15th European Symposium on Programming, ESOP 2006, Held as Part of the Joint European: 3924 (Lecture Notes in Computer Science, 3924) - Softcover

 
9783540330950: Programming Languages and Systems: 15th European Symposium on Programming, ESOP 2006, Held as Part of the Joint European: 3924 (Lecture Notes in Computer Science, 3924)

Synopsis

This book constitutes the refereed proceedings of the 15th European Symposium on Programming, ESOP 2006, held in Vienna, Austria in March 2006 as part of ETAPS. The 21 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 87 submissions. The papers address fundamental issues in the specification, analysis, and implementation of programming languages and systems; they are organized in topical sections on types for implementations, proof and types, verification and reasoning, security and distribution, analysis and verification, and connecting to the world.

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

  • PublisherSpringer
  • Publication date2006
  • ISBN 10 354033095X
  • ISBN 13 9783540330950
  • BindingPaperback
  • LanguageEnglish
  • Number of pages354
  • EditorSestoft Peter

Buy Used

Condition: Very Good
Ex-library paperback in very nice...
View this item

£ 55.35 shipping from U.S.A. to United Kingdom

Destination, rates & speeds

Search results for Programming Languages and Systems: 15th European Symposium...

Stock Image

Sestoft, Peter (EDT)
Published by Springer, 2006
ISBN 10: 354033095X ISBN 13: 9783540330950
New Softcover

Seller: GreatBookPricesUK, Woodford Green, United Kingdom

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

Condition: New. Seller Inventory # 6909121-n

Contact seller

Buy New

£ 50.81
Convert currency
Shipping: FREE
Within United Kingdom
Destination, rates & speeds

Quantity: Over 20 available

Add to basket

Stock Image

Published by Springer, 2006
ISBN 10: 354033095X ISBN 13: 9783540330950
New Softcover

Seller: Ria Christie Collections, Uxbridge, United Kingdom

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

Condition: New. In. Seller Inventory # ria9783540330950_new

Contact seller

Buy New

£ 50.82
Convert currency
Shipping: FREE
Within United Kingdom
Destination, rates & speeds

Quantity: Over 20 available

Add to basket

Stock Image

Sestoft, Peter [Editor]
Published by Springer, 2006
ISBN 10: 354033095X ISBN 13: 9783540330950
Used Paperback

Seller: GuthrieBooks, Spring Branch, TX, U.S.A.

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

Paperback. Condition: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments. Text block clean and unmarked. Tight binding. Seller Inventory # UTD-141216040

Contact seller

Buy Used

£ 7.40
Convert currency
Shipping: £ 55.35
From U.S.A. to United Kingdom
Destination, rates & speeds

Quantity: 1 available

Add to basket

Stock Image

Published by Springer, 2006
ISBN 10: 354033095X ISBN 13: 9783540330950
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. 360 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam. Seller Inventory # 5822539

Contact seller

Buy New

£ 66.85
Convert currency
Shipping: £ 3.35
Within United Kingdom
Destination, rates & speeds

Quantity: 1 available

Add to basket

Stock Image

Sestoft, Peter
Published by Springer 2006-03, 2006
ISBN 10: 354033095X ISBN 13: 9783540330950
New PF

Seller: Chiron Media, Wallingford, United Kingdom

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

PF. Condition: New. Seller Inventory # 6666-IUK-9783540330950

Contact seller

Buy New

£ 69.62
Convert currency
Shipping: £ 2.49
Within United Kingdom
Destination, rates & speeds

Quantity: 10 available

Add to basket

Stock Image

Published by Springer, 2006
ISBN 10: 354033095X ISBN 13: 9783540330950
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. 360. Seller Inventory # 263106708

Contact seller

Buy New

£ 66.91
Convert currency
Shipping: £ 6.64
From U.S.A. to United Kingdom
Destination, rates & speeds

Quantity: 1 available

Add to basket

Seller Image

Sestoft, Peter
Published by Springer Berlin Heidelberg, 2006
ISBN 10: 354033095X ISBN 13: 9783540330950
New Softcover

Seller: moluna, Greven, Germany

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

Condition: New. ETAPS 2006 was the ninth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of existing and new conferences. This year it comprised ?ve co. Seller Inventory # 4887813

Contact seller

Buy New

£ 56.20
Convert currency
Shipping: £ 21.28
From Germany to United Kingdom
Destination, rates & speeds

Quantity: Over 20 available

Add to basket

Seller Image

Sestoft, Peter (EDT)
Published by Springer, 2006
ISBN 10: 354033095X ISBN 13: 9783540330950
New Softcover

Seller: GreatBookPrices, Columbia, MD, U.S.A.

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

Condition: New. Seller Inventory # 6909121-n

Contact seller

Buy New

£ 64.24
Convert currency
Shipping: £ 14.75
From U.S.A. to United Kingdom
Destination, rates & speeds

Quantity: Over 20 available

Add to basket

Stock Image

Sestoft Peter
Published by Springer, 2006
ISBN 10: 354033095X ISBN 13: 9783540330950
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. 360. Seller Inventory # 183106718

Contact seller

Buy New

£ 72.37
Convert currency
Shipping: £ 6.77
From Germany to United Kingdom
Destination, rates & speeds

Quantity: 1 available

Add to basket

Seller Image

Sestoft, Peter (EDT)
Published by Springer, 2006
ISBN 10: 354033095X ISBN 13: 9783540330950
Used Softcover

Seller: GreatBookPricesUK, Woodford Green, United Kingdom

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

Condition: As New. Unread book in perfect condition. Seller Inventory # 6909121

Contact seller

Buy Used

£ 95.99
Convert currency
Shipping: FREE
Within United Kingdom
Destination, rates & speeds

Quantity: Over 20 available

Add to basket

There are 2 more copies of this book

View all search results for this book