Gjør som tusenvis av andre bokelskere
Abonner på vårt nyhetsbrev og få rabatter og inspirasjon til din neste leseopplevelse.
Ved å abonnere godtar du vår personvernerklæring.Du kan når som helst melde deg av våre nyhetsbrev.
Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
- Bindende:
- Paperback
- Sider:
- 255
- Utgitt:
- 6 juni 2019
- Utgave:
- 12018
- Dimensjoner:
- 155x235x0 mm.
- Vekt:
- 454 g.
Gratis frakt
Leveringstid:
2-4 uker
Forventet levering: 12 oktober 2024
Beskrivelse av Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
This book provides a comprehensive discussion of UML/OCL methods and design flow, for automatic validation and verification of hardware and software systems. While the presented flow focuses on using satisfiability solvers, the authors also describe how these methods can be used for any other automatic reasoning engine.
Brukervurderinger av Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
Vurder denne boken
Du må være innlogget for å vurdere denne boken.Andre har også kjøpt..
Finn lignende bøker
Boken Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers finnes i følgende kategorier:
Du kan når som helst melde deg av våre nyhetsbrev.
© 2024 Tales.no
