Computer Aided Verification: 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part I

Alexandra Silva, K. Rustan M. Leino

Informasi Dasar

43 kali
23.21.611
004
Buku - Elektronik (E-Book)
1

This open access book constitutes the proceedings of the 30th European Symposium on Programming, ESOP 2021, which was held during March 27 until April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg and changed to an online format due to the COVID-19 pandemic.

The 24 papers included in this volume were carefully reviewed and selected from 79 submissions. They deal with fundamental issues in the specification, design, analysis, and implementation of programming languages and systems.

Subjek

COMPUTER SCIENCE
 

Katalog

Computer Aided Verification: 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part I
978-3-030-81685-8
922p.: pdf file.; `32 MB
English

Sirkulasi

Rp. 0
Rp. 0
Tidak

Pengarang

Alexandra Silva, K. Rustan M. Leino
Perorangan
 
 

Penerbit

Springer Cham
New York
2021

Koleksi

Kompetensi

 

Download / Flippingbook

 

Ulasan

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