Image of Foundations of Software Science and Computation Structures; 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings
Bookmark Share

Text

Foundations of Software Science and Computation Structures; 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings

Buku akses terbuka ini merupakan prosiding dari Konferensi Internasional ke-23 tentang Fondasi Ilmu Perangkat Lunak dan Struktur Komputasi, FOSSACS 2020, yang berlangsung di Dublin, Irlandia, pada bulan April 2020, dan diadakan sebagai Bagian dari Konferensi Gabungan Eropa tentang Teori dan Praktik Perangkat Lunak, ETAPS 2020. 31 makalah reguler yang disajikan dalam volume ini ditinjau dengan cermat dan dipilih dari 98 kiriman. Makalah-makalah tersebut mencakup topik-topik seperti model dan logika kategoris; teori bahasa, automata, dan permainan; logika modal, spasial, dan temporal; teori tipe dan teori pembuktian; teori konkurensi dan kalkuli proses; teori penulisan ulang; semantik bahasa pemrograman; analisis program, ketepatan, transformasi, dan verifikasi; logika pemrograman; spesifikasi dan penyempurnaan perangkat lunak; model sistem konkuren, reaktif, stokastik, terdistribusi, hibrid, dan seluler; model komputasi yang muncul; aspek logis dari kompleksitas komputasi; model keamanan perangkat lunak; dan fondasi logis basis data.

Availability

No copy data

Detail Information
Series Title
-
Call Number
005.1 LAR f
Publisher
Heidelberg, Jerman : Springer International Publishing.,
Collation
1 online resource (XV, 644 Pages)
Language
English
ISBN/ISSN
978-3-030-45231-5
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
Other Information
Cataloger
erw
Source
https://link.springer.com/10.1007/978-3-030-45231-5
Validator
erw
Digital Object Identifier (DOI)
10.1007/978-3-030-45231-5
Journal Volume
12077
Journal Issue
-
Subtitle
-
Parallel Title
-
Other version/related

No other version available

File Attachment
Comments
You must be logged in to post a comment