Gå direkte til innholdet
Automated Technology for Verification and Analysis
Automated Technology for Verification and Analysis
Spar

Automated Technology for Verification and Analysis

Engelsk
Les i Adobe DRM-kompatibelt e-bokleserDenne e-boka er kopibeskyttet med Adobe DRM som påvirker hvor du kan lese den. Les mer
Undertittel
Second International Conference, ATVA 2004, Taipei, Taiwan, ROC, October 31 - November 3, 2004. Proceedings
Redaktør
Farn Wang
ISBN
9783540304760
Språk
Engelsk
Utgivelsesdato
11.10.2004
Tilgjengelige elektroniske format
  • PDF - Adobe DRM
Les e-boka her
  • E-bokleser i mobil/nettbrett
  • Lesebrett
  • Datamaskin