Text

Tools and Algorithms for the Construction and Analysis of Systems; 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023, Proceedings, Part I

---

Buku akses terbuka ini merupakan prosiding Konferensi Internasional ke-29 tentang Alat dan Algoritma untuk Konstruksi dan Analisis Sistem, TACAS 2023, yang diadakan sebagai bagian dari Konferensi Gabungan Eropa tentang Teori dan Praktik Perangkat Lunak, ETAPS 2023, selama 22-27 April 2023, di Paris, Prancis. 56 makalah lengkap dan 6 makalah demonstrasi alat singkat yang disajikan dalam volume ini ditinjau dengan cermat dan dipilih dari 169 kiriman. Prosiding ini juga berisi 1 ceramah undangan dengan panjang makalah lengkap, 13 makalah alat dari kompetisi afiliasi SV-Comp dan 1 makalah yang terdiri dari laporan kompetisi. TACAS adalah forum bagi para peneliti, pengembang, dan pengguna yang tertarik pada alat dan algoritma berbasis ketat untuk konstruksi dan analisis sistem. Konferensi ini bertujuan untuk menjembatani kesenjangan antara berbagai komunitas dengan minat bersama ini dan untuk mendukung mereka dalam upaya meningkatkan utilitas, keandalan, fleksibilitas, dan efisiensi alat dan algoritma untuk membangun sistem yang dikendalikan komputer.

---

Availability

No copy data

Detail Information

Series Title

-

Call Number

005.1 SAN t

Publisher

Zurich, Switzerland : Springer International Publishing., 2023

Collation

1 online resource (XXIII, 708 Pages)

Language

English

ISBN/ISSN

978-3-031-30823-9

Classification

005.1

Content Type

text

Media Type

computer

Carrier Type

online resource

Edition

-

Subject(s)

Algoritma Komputer

Specific Detail Info

-

Statement of Responsibility

Sriram Sankaranarayanan, Natasha Sharygina

Other Information

Cataloger

erw

Source

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

Validator

erw

Digital Object Identifier (DOI)

10.1007/978-3-031-30823-9

Journal Volume

13993

Journal Issue

-

Subtitle

-

Parallel Title

-

Other version/related

File Attachment

Comments

---

You must be logged in to post a comment