Rigorous State-Based Methods 8th International Conference, ABZ 2021, Ulm, Germany, June 9–11, 2021, Proceedings

Alexander Raschke, Dominique Méry

Informasi Dasar

43 kali
22.21.2215
004
Buku - Elektronik (E-Book)
Tel-U Gedung Manterawu Lantai 5 : Rak 1
Tel-U Purwokerto : Rak 1

This book constitutes the proceedings of the 8th International Conference on Rigorous State-Based Methods, ABZ 2021, which was planned to take place in Ulm, Germany, during June 6-11, 2021. The conference changed to an online format due to the COVID-19 pandemic.

The 6 full and 8 short papers included in this volume were carefully reviewed and selected from 18 submissions. The proceedings also include 3 PhD symposium contributions. They deal with state-based and machine-based formal methods, mainly Abstract State Machines (ASM), Alloy, B, TLA+, VDM, and Z.

Subjek

COMPUTER SCIENCE
DATA PROCESSING,

Katalog

Rigorous State-Based Methods 8th International Conference, ABZ 2021, Ulm, Germany, June 9–11, 2021, Proceedings
978-3-030-77543-8
167p.: pdf file.;8.2 MB
English

Sirkulasi

Rp. 0
Rp. 0
Tidak

Pengarang

Alexander Raschke, Dominique Méry
Perorangan
 
 

Penerbit

Springer Cham
Switzerland
2021

Koleksi

Kompetensi

 

Download / Flippingbook

 

Ulasan

Belum ada ulasan yang diberikan
anda harus sign-in untuk memberikan ulasan ke katalog ini