Rigorous State-Based Methods 10th International Conference, ABZ 2024, Bergamo, Italy, June 25-28, 2024, Proceedings

Eylem Seç

Ayırt
Listelerime ekle
Eposta
Yazdır

Başlık:

Yazar:

Bonfanti, Silvia. editor. (orcid)0000-0001-9679-4551

ISBN:

9783031637902

Basım Bilgisi:

1st ed. 2024.

Fiziksel Tanımlama:

XV, 398 p. 137 illus., 101 illus. in color. online resource.

Seri:

Lecture Notes in Computer Science, 14759

Özet:

This book constitutes the refereed proceedings of the 10th International Conference on Rigorous State-Based Methods, ABZ 2024, held in Bergamo, Italy, during June 25-28, 2024. The 29 papers included in this volume were carefully reviewed and selected from 47 submissions. They were organized in topical sections as follows: research papers; short research papers; case study; doctoral symposium.

Konu Terimleri:

Machine theory.

Computer engineering.

Computer networks .

Application software.

Logic programming.

Compilers (Computer programs).

Formal Languages and Automata Theory.

Computer Engineering and Networks.

Computer and Information Systems Applications.

Logic in AI.

Compilers and Interpreters.