Computer Aided Verification

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


Lecture Notes in Computer Science
Engels
(0 recensies)
Computer Aided Verification, Alexandra Silva ; K. Rustan M. Leino - Paperback - 9783030816872
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
{{bookPageStaticData?.averageRatingString}}
{{bookPageStaticData?.averageReviews}}
Nog geen recensies. Wees de eerste!
{{review.title}}
Lees meer Lees minder
{{review.createdOnString}} | {{review.alias}} | {{review.bindingDescription}}
Meer Recensies Toon Minder

Hostname: pro-mbooks2