Kementerian Pendidikan Dasar dan Menengah

  • Home
  • Information
  • News
  • Help
  • Librarian
  • Member Area
  • Select Language :
    Arabic Bengali Brazilian Portuguese English Espanol German Indonesian Japanese Malay Persian Russian Thai Turkish Urdu

Search by :

ALL Author Subject ISBN/ISSN Advanced Search

Last search:

{{tmpObj[k].text}}
Image of Programming languages and systems : 29th European Symposium on Programming, ESOP 2020, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings

Text

Programming languages and systems : 29th European Symposium on Programming, ESOP 2020, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings

Müller, Peter - Personal Name;

This open access book constitutes the proceedings of the 29th European Symposium on Programming, ESOP 2020, which took place in Dublin, Ireland, in April 2020, and was held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020.
The papers deal with fundamental issues in the specification, design, analysis, and implementation of programming languages and systems.


Availability

No copy data

Detail Information
Series Title
-
Call Number
005.1 PRO p
Publisher
Cham, Switzerland : Springer Open., 2020
Collation
xv, 772p. : ill.
Language
English
ISBN/ISSN
9783030449148
Classification
005.1
Content Type
-
Media Type
-
Carrier Type
-
Edition
-
Subject(s)
Information theory
Computer Science
Programming languages (Electronic computers)
Computer programming
Software engineering
Computer industry
Systems software
Computer software--Verification
Specific Detail Info
-
Statement of Responsibility
edited by Peter Müller
Other version/related

No other version available

File Attachment
  • 9783030449148
    https://link.springer.com/book/10.1007/978-3-030-44914-8
    Other Resource Link
Comments

You must be logged in to post a comment

Kementerian Pendidikan Dasar dan Menengah
  • Information
  • Services
  • Librarian
  • Member Area

About Us

Pengelolaan Perpustakaan Kemendikbud dilaksanakan sesuai dengan Standar Nasional Perpustakaan (SNP) Khusus, dimana pada tahun 2017 Perpustakaan Kemendikbud telah mendapatkan Akreditasi A oleh Perpustakaan Nasional RI. Perpustakaan Kemendikbud dikelola secara profesional dengan memanfaatkan teknologi informasi dan komunikasi dalam menunjang pelayanan kepada pemustaka.

Search

start it by typing one or more keywords for title, author or subject

Keep SLiMS Alive Want to Contribute?

© 2025 — Senayan Developer Community

Powered by SLiMS
Select the topic you are interested in
  • Computer Science, Information & General Works
  • Philosophy & Psychology
  • Religion
  • Social Sciences
  • Language
  • Pure Science
  • Applied Sciences
  • Art & Recreation
  • Literature
  • History & Geography
Icons made by Freepik from www.flaticon.com
Advanced Search