Computer Aided Verification
- 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010, Proceedings
Forfatter: info mangler
- Format
- E-bog, PDF
- Engelsk
Er ikke web-tilgængelig
E-bogen er DRM-beskyttet og kræver et særligt læseprogram
Normalpris
kr. 1.129,95
Medlemspris
kr. 1.064,95
Beskrivelse
Detaljer
- SprogEngelsk
- Udgivelsesdato09-07-2010
- ISBN139783642142956
- Forlag Springer Berlin Heidelberg
- FormatPDF
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
- Programmering / softwareudvikling
- Algoritmer og datastrukturer
- Computer Aided Verification
- Fagbøger
- Andre fagbøger
- Data- og informationsteknologi
- Programmering / softwareudvikling
- Programmeringssprog og scriptsprog
- Computer Aided Verification
- Fagbøger
- Andre fagbøger
- Data- og informationsteknologi
- Programmering / softwareudvikling
- Kompilatorer og fortolkere
- Computer Aided Verification
- Fagbøger
- Andre fagbøger
- Data- og informationsteknologi
- Programmering / softwareudvikling
- Softwareudvikling
- Computer Aided Verification
- Fagbøger
- Andre fagbøger
- Data- og informationsteknologi
- Informatik
- Matematisk datateori
- Computer Aided Verification
- Fagbøger
- Andre fagbøger
- Data- og informationsteknologi
- Computere og hardware
- Netværkskomponenter
- Computer Aided Verification