De Aller-Bedste Bøger - over 12 mio. danske og engelske bøger
Levering: 1 - 2 hverdage
Hjælp
Login
  1. Forside
  2. Bøger
  3. Business og læring
  4. Computer og IT
  5. Automated Technology for Verification and Analysis

Automated Technology for Verification and Analysis

- 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings

indgår i Lecture Notes in Computer Science serien

indgår i Programming and Software Engineering serien

Automated Technology for Verification and Analysis
Bag om Automated Technology for Verification and Analysis

This book constitutes the refereed proceedings of the 16th International Symposium on Automated Technology for Verification and Analysis, ATVA 2018, held in Los Angeles, CA, USA in October 2018. The 27 full papers presented together with 5 short papers and 3 invited talks were carefully reviewed and selected from 82 submissions.

Vis mere
  • Sprog:
  • Engelsk
  • ISBN:
  • 9783030010898
  • Indbinding:
  • Paperback
  • Sideantal:
  • 560
  • Udgivet:
  • 30. september 2018
  • Udgave:
  • 12018
  • Vægt:
  • 872 g.
  • 2-15 hverdage.
  • 10. december 2024

Normalpris

Abonnementspris

- Rabat på køb af fysiske bøger
- 1 valgfrit digitalt ugeblad
- 20 timers lytning og læsning
- Adgang til 70.000+ titler
- Ingen binding

Abonnementet koster 75 kr./md.
Ingen binding og kan opsiges når som helst.

Beskrivelse af Automated Technology for Verification and Analysis

This book constitutes the refereed proceedings of the 16th International Symposium on Automated Technology for Verification and Analysis, ATVA 2018, held in Los Angeles, CA, USA in October 2018. The 27 full papers presented together with 5 short papers and 3 invited talks were carefully reviewed and selected from 82 submissions.

Brugerbedømmelser af Automated Technology for Verification and Analysis



Andre købte også..
Find lignende bøger
Bogen Automated Technology for Verification and Analysis findes i følgende kategorier: