-
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 : proceedingsEuropean Symposium on Programming (29 ; 2020 ; Dublin)Type of material - proceedings of conference contributionsPublication and manufacture - Cham : Springer, cop. 2020Language - englishISBN - 978-3-030-44913-1; 978-3-030-44914-8COBISS.SI-ID - 18971225
Author
European Symposium on Programming
Other authors
Müller, Peter, 1966-
Collection
Lecture notes in computer science
Topics
artificial intelligence |
computer network |
computer programming |
computer security |
distributed computer systems |
embedded systems |
formal languages |
formal logic |
linguistics |
mathematis |
model checking |
object-oriented programming |
parallel processing systems |
program compilers |
semantics |
software architecture |
software design |
software engineering |
software quality |
verification and validation
![loading ... loading ...](themes/default/img/ajax-loading.gif)
![loading ... loading ...](themes/default/img/ajax-loading.gif)
![loading ... loading ...](themes/default/img/ajax-loading.gif)
![loading ... loading ...](themes/default/img/ajax-loading.gif)
Shelf entry
Permalink
- URL:
Impact factor
Access to the JCR database is permitted only to users from Slovenia. Your current IP address is not on the list of IP addresses with access permission, and authentication with the relevant AAI accout is required.
Year | Impact factor | Edition | Category | Classification | ||||
---|---|---|---|---|---|---|---|---|
JCR | SNIP | JCR | SNIP | JCR | SNIP | JCR | SNIP |
Select the library membership card:
DRS, in which the journal is indexed
Database name | Field | Year |
---|
Links to authors' personal bibliographies | Links to information on researchers in the SICRIS system |
---|---|
Müller, Peter, 1966- | ![]() |
Select pickup location:
Material pickup by post
Notification
Subject headings in COBISS General List of Subject Headings
Select pickup location
Pickup location | Material status | Reservation |
---|
Please wait a moment.