Computer Aided Verification
- Indbinding:
- Paperback
- Sideantal:
- 492
- Udgivet:
- 17. juli 1996
- Størrelse:
- 155x27x235 mm.
- Vægt:
- 739 g.
- 8-11 hverdage.
- 21. november 2024
På lager
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.
- 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 Computer Aided Verification
This book constitutes the refereed proceedings of the 8th International Conference on Computer Aided Verification, CAV '96, held in New Brunswick, NJ, USA, in July/August 1996 as part of the FLoC '96 federated conference.The volume presents 32 revised full research contributions selected from a total of 93 submissions; also included are 20 carefully selected descriptions of tools and case studies. The set of papers reports the state-of-the-art of the theory and practice of computer assisted formal analysis methods for software and hardware systems; a certain emphasis is placed on verification tools and the algorithms and techniques that are needed for their implementation.
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
- Databehandling og informationsteknologi > Computere og hardware
- Databehandling og informationsteknologi > Programmering / softwareudvikling > Softwareudvikling
- Databehandling og informationsteknologi > Informatik > Matematisk datateori
- Databehandling og informationsteknologi > Informatik > Kunstig intelligens > Ekspertsystemer og vidensbaserede systemer
© 2024 Pling BØGER Registered company number: DK43351621