Verification, Model, Checking, and Abstract Interpretation

Fritz Henglein, Sharon Shoham, Yakir Vizel

Informasi Dasar

47 kali
21.21.2856
005
Buku - Elektronik (E-Book)
Tel-U Gedung Manterawu Lantai 5 : Rak 2
Tel-U Purwokerto : Rak 1

This book constitutes the refereed proceedings of the 19th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2018, held in Los Angeles, CA, USA, in January 2018.The 24 full papers presented together with the abstracts of 3 invited keynotes and 1 invited tutorial were carefully reviewed and selected from 43 submissions. VMCAI provides topics including: program verification, model checking, abstract interpretation, program synthesis, static analysis, type systems, deductive methods, program certification, decision procedures, theorem proving, program certification, debugging techniques, program transformation, optimization, and hybrid and cyber-physical systems.

Subjek

COMPUTER PRAGRAMMING
 

Katalog

Verification, Model, Checking, and Abstract Interpretation
978-3-030-67067-2
608p.: pdf file.; 24MB
English

Sirkulasi

Rp. 0
Rp. 0
Tidak

Pengarang

Fritz Henglein, Sharon Shoham, Yakir Vizel
Perorangan
 
 

Penerbit

Springer
Switzerland
2020

Koleksi

Kompetensi

 

Download / Flippingbook

 

Ulasan

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