5€¹ Rabatt bei Bestellungen per App

Automated Technology for Verification and Analysis / Lecture Notes in Computer Science Bd.11781 (PDF)

17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings (Sprache: Englisch)
 
 
Merken
Merken
 
 
This book constitutes the refereed proceedings of the 17th International Symposium on Automated Technology for Verification and Analysis, ATVA 2019, held in Taipei, Taiwan in October 2019.
The 24 regular papers presented together with 3 tool papers were...
sofort als Download lieferbar

Bestellnummer: 129277668

eBook (pdf) 54.99
Download bestellen
Verschenken
 
  •  
     
     
     
     
  •  
     
     
     
     
  •  
     
     
     
     
  •  
     
     
     
     
  •  
     
     
     
     
  •  
     
     
     
     
 
  •  
     
     
     
     
  •  
     
     
     
     
  •  
     
     
     
     
  •  
     
     
     
     
  •  
     
     
     
     
  •  
     
     
     
     
 
  •  
     
     
     
     
  •  
     
     
     
     
  •  
     
     
     
     
  •  
     
     
     
     
  •  
     
     
     
     
  •  
     
     
     
     
Kommentar zu "Automated Technology for Verification and Analysis / Lecture Notes in Computer Science Bd.11781"
 
  •  
     
     
     
     
  •  
     
     
     
     
  •  
     
     
     
     
  •  
     
     
     
     
  •  
     
     
     
     
  •  
     
     
     
     
 
  •  
     
     
     
     
  •  
     
     
     
     
  •  
     
     
     
     
  •  
     
     
     
     
  •  
     
     
     
     
  •