Abstraction Refinement For Large Scale Model Checking

NOK 1 499,00
+ NOK 223,99 i frakt

Abstraction Refinement For Large Scale Model Checking

Solgt av:
  • product image

NOK 1 499,00

På lager
+ NOK 223,99 i frakt

14-dagers returpolicy

Betalingsmåter:

Produktdetaljer

Produktdetaljer

Abstraction Refinement For Large Scale Model Checking

This Book Summarizes Recent Research On Abstraction Techniques For Model Checking Large Digital System. Considering The Size Of Todays Digital Systems And The Capacity Of State-of-the-art Verification Algorithms, Abstraction Is The Only Viable Solution For The Successful Application Of Model Checking Techniques To Industrial-scale Designs. The Suite Of Algorithms Presented Here Represents Significant Improvement Over Prior Art; Some Have Already Been Adopted By The Eda Companies In Their Commercialin-house Verification Tools.
  • Fruugo-ID: 550928015-1115606415
  • ISBN: 9780387341552
Levering

Leveranse

Sendes i løpet av 24 timer

  • STANDARD: NOK 223,99 - Levering mellom kl man. 23 november 2026–ons. 25 november 2026

Sendes fra Storbritannia.

Retur

Retur

Vi gjør vårt beste for å sikre at produktene du bestiller, leveres til deg i sin helhet og i samsvar med dine spesifikasjoner. Skulle du likevel motta en ufullstendig bestilling eller andre varer enn dem du bestilte, eller hvis du av en eller annen grunn ikke er fornøyd med bestillingen, kan du returnere bestillingen eller enkeltvarer i bestillingen og motta full refusjon for varene.

Se fullstendige retningslinjer for retur