Gør som tusindvis af andre bogelskere
Tilmeld dig nyhedsbrevet og få gode tilbud og inspiration til din næste læsning.
Ved tilmelding accepterer du vores persondatapolitik.Du kan altid afmelde dig igen.
Computer Aided Verification
- Indbinding:
- Paperback
- Sideantal:
- 504
- Udgivet:
- 22. april 1992
- Størrelse:
- 155x28x235 mm.
- Vægt:
- 756 g.
Gratis fragt
Leveringstid:
8-11 hverdage
Forventet levering: 16. januar 2025
Brugerbedømmelser af Computer Aided Verification
Giv din bedømmelse
For at bedømme denne bog, skal du være logget ind.Andre købte også..
Find lignende bøger
Bogen Computer Aided Verification findes i følgende kategorier:
- Business og læring > Computer og IT
- Historie og samfund
- Historie og arkæologi
- Databehandling og informationsteknologi > Programmering / softwareudvikling > Softwareudvikling
- Databehandling og informationsteknologi > Informatik > Matematisk datateori
- Databehandling og informationsteknologi > Informatik > Systemanalyse og systemdesign
- Databehandling og informationsteknologi > Informatik > Kunstig intelligens > Ekspertsystemer og vidensbaserede systemer