Text

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

---

Buku akses terbuka ini merupakan hasil dari Konferensi Internasional ke-26 tentang Fondasi Ilmu Perangkat Lunak dan Struktur Komputasi, FOSSACS 2023, yang diadakan selama 22-27 April 2023, di Paris, Prancis, sebagai bagian dari Konferensi Gabungan Eropa tentang Teori dan Praktik Perangkat Lunak, ETAPS 2023. 26 makalah reguler yang disajikan dalam volume ini ditinjau dan dipilih dengan cermat dari 85 kiriman. Makalah-makalah tersebut membahas penelitian tentang teori dan metode untuk mendukung analisis, integrasi, sintesis, transformasi, dan verifikasi program dan sistem perangkat lunak.

---

Availability

No copy data

Detail Information

Series Title

-

Call Number

005.1 KUP f

Publisher

Zurich, Switzerland : Springer International Publishing., 2023

Collation

1 online resource (XIV, 561 Pages)

Language

English

ISBN/ISSN

978-3-031-30829-1

Classification

005.1

Content Type

text

Media Type

computer

Carrier Type

online resource

Edition

-

Subject(s)

Rekayasa Perangkat Lunak

Specific Detail Info

-

Statement of Responsibility

Orna Kupferman, Pawel Sobocinski

Other Information

Cataloger

erw

Source

https://link.springer.com/10.1007/978-3-031-30829-1

Validator

erw

Digital Object Identifier (DOI)

10.1007/978-3-031-30829-1

Journal Volume

13992

Journal Issue

-

Subtitle

-

Parallel Title

-

Other version/related

File Attachment

Comments

---

You must be logged in to post a comment