Text

Foundations of Software Science and Computation Structures: 27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part I

---

Dua volume akses terbuka LNCS 14574 dan 14575 merupakan prosiding Konferensi Internasional ke-27 tentang Fondasi Ilmu Perangkat Lunak dan Struktur Komputasi, FOSSACS 2024, yang berlangsung di Luksemburg pada bulan April 2024. 24 makalah lengkap yang disertakan dalam buku ini ditinjau dan dipilih dengan saksama dari 79 kiriman. Makalah-makalah tersebut disusun dalam bagian topik sebagai berikut: Bagian I: Permainan tak terbatas; semantik kategoris; automata dan sintesis; Bagian II: Jenis dan bahasa pemrograman; logika dan pembuktian; sistem keadaan tak terbatas.

---

Availability

No copy data

Detail Information

Series Title

-

Call Number

005.1 KOB f

Publisher

Zurich, Switzerland : Springer International Publishing., 2024

Collation

1 online resource (XVI, 280 Pages)

Language

English

ISBN/ISSN

978-3-031-57228-9

Classification

005.1

Content Type

text

Media Type

computer

Carrier Type

online resource

Edition

1

Subject(s)

Pemrograman Komputer

Specific Detail Info

-

Statement of Responsibility

Naoki Kobayashi, James Worrell

Other Information

Cataloger

Kholif Basri

Source

https://link.springer.com/10.1007/978-3-031-57228-9

Validator

erw

Digital Object Identifier (DOI)

https://doi.org/10.1007/978-3-031-57228-9

Journal Volume

14574

Journal Issue

-

Subtitle

-

Parallel Title

-

Other version/related

File Attachment

Comments

---

You must be logged in to post a comment