Kategooriad
Kategooriad
Kohaletoimetamine on tasuta!
Galerii
Model Checking
Autor
Edmund M. Clarke Jr. (Carnegie Mellon University)
,Orna Grumberg (Technion)
,Daniel Kroening (Oxford University)
,Doron Peled (Bar Ilan University)
,Helmut Veith (Technische Universitaet Darmstadt)
![[object Object] icon](/_next/image?url=%2F_next%2Fstatic%2Fimage%2Fpublic%2Ficons%2Fplus.3d8df17ea6f050d8921b0d3439f575d2.svg&w=32&q=75)
Detailid
Saadavus kauplustes
122,43 €