Bestellen Terug

Hoofdkenmerken

Auteur:	Wang, Chao
Redactie:	Wang, Chao
Titel:	Automated Technology for Verification and Analysis 16th International Symposium,
Uitgever:	Springer Nature Switzerland AG
ISBN:	9783030010898
ISBN boekversie:	9783030010904
Serie:	Lecture Notes in Computer
Editie:	1st ed. 2018
Land van oorsprong:	Switzerland
Prijs:	€ 93.16
Verschijningsdatum:	30-09-2018
Bericht:	Langere levertijd (2-3 weken)

Inhoudelijke kenmerken

Leesniveau:	Professional & Vocational
Categorie:	Mathematical theory of computation
Geillustreerd:	133 Illustrations, black and white; XIII, 560 p. 133 illus.

Technische kenmerken

Verschijningsvorm:	Paperback / softback
Paginas:	560
Hoogte mm.:	235
Breedte mm.:	155
Gewicht gr.:	872

 

Inhoud:

This book constitutes the refereed proceedings of the 16th International Symposium on Automated Technology for Verification and Analysis, ATVA 2018, held in Los Angeles, CA, USA in October 2018. The 27 full papers presented together with 5 short papers and 3 invited talks were carefully reviewed and selected from 82 submissions.