Automated Technology for Verification and Analysis
- 5th International Symposium, ATVA 2007 Tokyo, Japan, October 22-25, 2007 Proceedings
Forfatter: info mangler
- Format
- Bog, paperback
- Engelsk
- Indgår i serie
Normalpris
kr. 414,95
Medlemspris
kr. 389,95
- Du sparer kr. 25,00
- Fri fragt
-
Leveringstid: 2-3 uger (Sendes fra fjernlager) Forventet levering: 13-03-2026
- Kan pakkes ind og sendes som gave
Beskrivelse
This book constitutes the refereed proceedings of the 5th International Symposium on Automated Technology for Verification and Analysis, ATVA 2007. The 29 revised full papers presented together with seven short papers address theoretical methods to achieve correct software or hardware systems, including both functional and non functional aspects; as well as applications of theory in engineering methods and particular domains and handling of practical problems occurring in tools.
Detaljer
- SprogEngelsk
- Sidetal570
- Udgivelsesdato09-10-2007
- ISBN139783540755951
- Forlag Springer-verlag Berlin And Heidelberg Gmbh & Co. K
- FormatPaperback
Størrelse og vægt
10 cm
Anmeldelser
Vær den første!
Log ind for at skrive en anmeldelse.
Findes i disse kategorier...
- Fagbøger
- Andre fagbøger
- Data- og informationsteknologi
- Informatik
- Dataarkitektur og logisk design
- Automated Technology for Verification and Analysis
- Fagbøger
- Andre fagbøger
- Data- og informationsteknologi
- Datakommunikation og computernetværk
- Automated Technology for Verification and Analysis
- Fagbøger
- Andre fagbøger
- Data- og informationsteknologi
- Informatik
- Systemanalyse og systemdesign
- Automated Technology for Verification and Analysis
- Fagbøger
- Andre fagbøger
- Data- og informationsteknologi
- Grafisk IT og digitale medier
- Desktop publishing
- Automated Technology for Verification and Analysis
- Fagbøger
- Andre fagbøger
- Data- og informationsteknologi
- Programmering / softwareudvikling
- Softwareudvikling
- Automated Technology for Verification and Analysis
- Fagbøger
- Andre fagbøger
- Data- og informationsteknologi
- Informatik
- Matematisk datateori
- Automated Technology for Verification and Analysis
- Fagbøger
- Andre fagbøger
- Data- og informationsteknologi
- Computere og hardware
- Netværkskomponenter
- Automated Technology for Verification and Analysis
- Fagbøger
- Andre fagbøger
- Teknologi, ingeniørvidenskab og landbrug
- Maskinteknik og materialer
- Produktionsteknik
- Computer aided manufacture (CAM)
- Automated Technology for Verification and Analysis
- Fagbøger
- Andre fagbøger
- Data- og informationsteknologi
- Virksomhedssoftware
- Automated Technology for Verification and Analysis