Scalable Techniques For Formal Verification

149,00 €
ja 26,99 € toimitus

Scalable Techniques For Formal Verification

Myyjä:
  • product image

149,00 €

Varastossa
ja 26,99 € toimitus

14 päivän palautuskäytäntö

Ostajan suojaus

Maksutavat:

Tuotetiedot

Tuotetiedot

Scalable Techniques For Formal Verification

Preliminaries.- Overview Of Formal Verification.- To Acl2.- Sequential Program Verification.- Sequential Programs.- Operational Semantics And Assertional Reasoning.- Connecting Different Proof Styles.- Verification Of Reactive Systems.- Reactive Systems.- Verifying Concurrent Protocols Using Refinements.- Pipelined Machines.- Invariant Proving.- Invariant Proving.- Predicate Abstraction Via Rewriting.- Formal Integration Of Decision Procedures.- Integrating Deductive And Algorithmic Reasoning.- A Compositional Model Checking Procedure.- Connecting External Deduction Tools With Acl2.- Conclusion.- Summary And Conclusion.
  • Fruugo ID: 557056941-1125325427
  • ISBN: 9781489984449
Lupaus

Myyjän takuu

Sisältää 2 vuoden lakisääteisen takuun

EU:n kuluttajan oikeuksiisi kuuluu vähintään 2 vuoden ilmainen lakisääteinen takuu

Lataa vaatimustenmukaisuuden lakisääteinen takuu
Toimitus

Toimitus

Lähetetään 24 tunnin kuluessa

  • STANDARD: 32,49 € - Toimitus välillä ma 16 marraskuuta 2026–to 19 marraskuuta 2026

Lähetyspaikka: Iso-Britannia.

Palautukset

Palautukset ja peruutukset

Palautukset

Teemme parhaamme varmistaaksemme, että kaikki tilaamasi tuotteet toimitetaan sinulle toiveidesi mukaisesti. Jos sinulle toimitettu tilaus kuitenkin on puutteellinen tai sisältää tilaamattomia tuotteita, tai jos et jostain muusta syystä ole tyytyväinen tilaukseesi, voit palauttaa tilauksen kokonaan tai osittain. Saat tuotteista täyden hyvityksen.

Näytä koko palautuskäytäntö

Peruutukset

Sinulla on oikeus peruuttaa ostoksesi 14 päivän kuluessa tilauksen vastaanottamisesta ilmoittamatta syytä. Voit käyttää oikeuttasi helposti käyttämällä jokaisen sivun alatunnisteessa olevaa "Peruuta tilaukseni" -linkkiä tai Fruugo-tilisi "Tilaukset"-kohdassa. Kun käytät peruutusoikeuttasi, lähetämme sinulle sähköpostivahvistuksen. Jos jälleenmyyjä on jo lähettänyt tilauksesi, annamme sinulle tarvittavat palautusohjeet varmistaaksemme, että hyvityksesi käsitellään nopeasti.

Näytä täydellinen peruutuskäytäntö