Quantitative Evaluation of Systems : 19th International Conference, QEST 2022, Warsaw, Poland, September 12–16, 2022, Proceedings
Erika Ábrahám, Marco Paolieri
Informasi Umum
Kode
23.21.2109
Klasifikasi
005.1 - Computer programming
Jenis
Buku - Elektronik (E-Book)
Subjek
Computer Logic, Computer System Failures
No. Rak
2
Dilihat
4 kali
Informasi Lainnya
Abstraksi
This book constitutes the proceedings of the 19th International Conference on Quantitative Evaluation Systems, QEST 2022, held in Warsaw, Poland, in September 2022. The 19 full papers presented together with 1 keynote paper were carefully reviewed and selected from 44 submissions. The papers are organized in the following topics: program analysis; parameter synthesis; markovian agents and population models; dynamical systems; tools; applications and automata theory; and applications.
Koleksi & Sirkulasi
Tersedia 1 dari total 1 Koleksi
Anda harus log in untuk mengakses flippingbook
Pengarang
| Nama | Erika Ábrahám, Marco Paolieri |
| Jenis | Perorangan |
| Penyunting | |
| Penerjemah |
Penerbit
| Nama | Springer Cham |
| Kota | New York |
| Tahun | 2022 |
Sirkulasi
| Harga sewa | IDR 0,00 |
| Denda harian | IDR 0,00 |
| Jenis | Non-Sirkulasi |
Download / Flippingbook
belum pernah diunduh
