Bestellen Terug

Hoofdkenmerken

Auteur:	Wang, Chao
Redactie:	Wang, Chao
Titel:	Computer Aided Verification 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part I
Uitgever:	Springer Nature Switzerland AG
ISBN:	9783030532871
Serie:	Lecture Notes in Computer Science
Editie:	1st ed. 2020
Land van oorsprong:	Switzerland
Prijs:	€ 52.49
Verschijningsdatum:	16-07-2020
Bericht:	Langere levertijd (2-3 weken)

Inhoudelijke kenmerken

Categorie:	Artificial intelligence
Geillustreerd:	117 Illustrations, color; 499 Illustrations, black and white

Technische kenmerken

Verschijningsvorm:	Paperback / softback
Paginas:	669
Hoogte mm.:	235
Breedte mm.:	155