Foundations of software science and computation structures : 26th International Conference, FoSSaCS 2023, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023 : proceedings

FMF, Mathematical Library, Lj. (MAKLJ)

Foundations of software science and computation structures : 26th International Conference, FoSSaCS 2023, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023 : proceedings

International Conference on Foundations of Software Science and Computation Structures (26 ; 2023 ; Paris)

Type of material - proceedings of conference contributions ; adult, serious

Publication and manufacture - Cham : Springer, cop. 2023

Language - english

ISBN - 978-3-031-30828-4

COBISS.SI-ID - 150374915

Link(s):
https://link.springer.com/book/10.1007/978-3-031-30829-1
DOI

Keep searching

Author
International Conference on Foundations of Software Science and Computation Structures

Other authors
Kupferman, Orna | Sobocinski, Pawel

Collection
Lecture notes in computer science

Topics
computer science | programming languages | analysis tools | software engineering

Component parts from the selected journal

Holdings
Availability in other libraries

Electronic version of document accessible or this is an electronic resource

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
Year	JCR	SNIP	JCR	SNIP	JCR	SNIP	JCR	SNIP

Links to authors' personal bibliographies	Links to information on researchers in the SICRIS system
Kupferman, Orna
Sobocinski, Pawel

Source: Personal bibliographies and: SICRIS

The material from the parent unit is free. If the material is delivered to the pickup location from another unit, the library may charge you for this service.

Pickup location	Material status	Reservation

Upload image

Shelf entry

Adding material to shelf was successful.

Adding material to shelf failed.

It was not necessary to add the material to the shelf.

Permalink

E-mail

Impact factor

Select the library membership card:

DRS, in which the journal is indexed

Select pickup location:

Material pickup by post

Notification

Citations

Subject headings in COBISS General List of Subject Headings

Select pickup location

Reservation was successful.

Reservation failed.

Reservation...

Bibliographic data

Number of loans

Loan was successful

Loan failed

Loan was successful

Loan failed

Loan was successful

Loan failed

Loan was successful

Loan failed

Theme