Image of Tools and Algorithms for the Construction and Analysis of Systems: 30th International Conference, TACAS 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
Bookmark Share

Text

Tools and Algorithms for the Construction and Analysis of Systems: 30th International Conference, TACAS 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

Buku akses terbuka set 3 volume LNCS 14570-14573 merupakan prosiding Konferensi Internasional ke-30 tentang Alat dan Algoritma untuk Konstruksi dan Analisis Sistem, Alat dan Algoritma untuk Konstruksi dan Analisis Sistem (TACAS, Tools and Algorithms for the Construction and Analysis of Systems) bagian dari ETAPS dan seri LNCS (Lecture Notes in Computer Science) - 2024, yang diadakan sebagai bagian dari Konferensi Gabungan Eropa tentang Teori dan Praktik Perangkat Lunak, ETAPS 2024, selama 6-11 April 2024, di Luksemburg. 53 makalah lengkap dan 16 kontribusi SVComp singkat yang disertakan dalam prosiding ini ditinjau dengan cermat dan dipilih dari 159 kiriman. Mereka disusun dalam bagian topik sebagai berikut:Bagian I: Penyelesaian STA dan SMT; sintesis; logika dan keterputusan; analisis dan pembuktian program; pemeriksaan pembuktian; Bagian II: Pemeriksaan Model; automata dan pembelajaran; verifikasi perangkat lunak; sistem probabilistik; simulasi; Bagian III: Jaringan saraf; pengujian dan verifikasi; permainan; konkurensi; SV-Comp 2024.

Availability

No copy data

Detail Information
Series Title
Lecture Notes in Computer Science
Call Number
005.1 FIN t
Publisher
Zurich, Switzerland : Springer International Publishing.,
Collation
1 online resource (XXVIII, 394 Pages)
Language
English
ISBN/ISSN
978-3-031-57246-3
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
Other Information
Cataloger
Kholif Basri
Source
https://link.springer.com/10.1007/978-3-031-57246-3
Validator
erw
Digital Object Identifier (DOI)
https://doi.org/10.1007/978-3-031-57246-3
Journal Volume
14570
Journal Issue
-
Subtitle
-
Parallel Title
-
Other version/related

No other version available

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