Computer Aided Verification

Autor: Rupak Majumdar, Viktor Kuncak

Limbă:

Legare: Carte broșată

Editura: Springer International Publishing AG

Disponibilitate: În depozitul extern

Expediem în 5-8 zile

277.38 lei

The two-volume set LNCS 10426 and LNCS 10427 constitutes the refereed proceedings of the 29th Intern...

Informații despre carte

Autor

Rupak Majumdar, Viktor Kuncak

Limbă

engleză

Legare

Carte - Carte broșată

Publicat

2017

Pagini

623

EAN

9783319633893

ISBN

3319633899

Enbook ID

16495654

Editura

Springer International Publishing AG

Greutate

9591

Dimensiuni

155 x 235 x 36

Descriere completă

The two-volume set LNCS 10426 and LNCS 10427 constitutes the refereed proceedings of the 29th International Conference on Computer Aided Verification, CAV 2017, held in Heidelberg, Germany, in July 2017. The total of 50 full and 7 short papers presented together with 5 keynotes and tutorials in the proceedings was carefully reviewed and selected from 191 submissions. The CAV conference series is dedicated to the advancement of the theory and practice of computer-aided formal analysis of hardware and software systems. The conference covers the spectrum from theoretical results to concrete applications, with an emphasis on practical verification tools and the algorithms and techniques that are needed for their implementation.

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Computer Aided Verification

Informații despre carte

Descriere completă

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și