Computer Aided Verification

33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part I


Lecture Notes in Computer Science
Engels
(0 recensies)
Computer Aided Verification, Alexandra Silva ; K. Rustan M. Leino - Paperback - 9783030816841
Samenvatting
Lees Samenvatting Minder Samenvatting
Specificaties
Alle specificaties Minder specificaties
Categorieën
ALLE CATEGORIEËN MINDER CATEGORIEËN
Thema’s
Alle thema's Minder thema's
Recensies
-
Nog geen recensies. Wees de eerste!

Hostname: pro-mbooks3