menu
{ "item_title" : "Programming Languages and Systems", "item_author" : [" Robbert Krebbers "], "item_description" : "The open access book set LNCS 16501 + LNCS 16502 constitutes the proceedings of the 35th European Symposium on Programming, ESOP 2026, which was held as part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2026, in Turin, Italy, during April 11-16, 2026.The 31 full papers included in the proceedings, together with one invited talk, were carefully reviewed and selected from 94 submissions. They deal with fundamental issues in the specification, design, analysis and implementation of programming languages and systems, such as programming paradigms and styles; methods and tools to write and specify programs and languages; methods and tools for reasoning about programs; programming systems design and implementation.", "item_img_path" : "https://covers2.booksamillion.com/covers/bam/3/03/222/722/3032227224_b.jpg", "price_data" : { "retail_price" : "49.99", "online_price" : "49.99", "our_price" : "49.99", "club_price" : "49.99", "savings_pct" : "0", "savings_amt" : "0.00", "club_savings_pct" : "0", "club_savings_amt" : "0.00", "discount_pct" : "10", "store_price" : "" } }
Programming Languages and Systems|Robbert Krebbers

Programming Languages and Systems : 35th European Symposium on Programming, ESOP 2026, Held as Part of the International Joint Conferences on Theory an

local_shippingShip to Me
In Stock.
FREE Shipping for Club Members help

Overview

The open access book set LNCS 16501 + LNCS 16502 constitutes the proceedings of the 35th European Symposium on Programming, ESOP 2026, which was held as part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2026, in Turin, Italy, during April 11-16, 2026.

The 31 full papers included in the proceedings, together with one invited talk, were carefully reviewed and selected from 94 submissions. They deal with fundamental issues in the specification, design, analysis and implementation of programming languages and systems, such as programming paradigms and styles; methods and tools to write and specify programs and languages; methods and tools for reasoning about programs; programming systems design and implementation.

This item is Non-Returnable

Details

  • ISBN-13: 9783032227225
  • ISBN-10: 3032227224
  • Publisher: Springer
  • Publish Date: April 2026
  • Dimensions: 9.21 x 6.14 x 0.94 inches
  • Shipping Weight: 1.43 pounds
  • Page Count: 446

Related Categories

You May Also Like...

    1

BAM Customer Reviews