The Secd Microprocessor A Verification Case Study

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

The Secd Microprocessor A Verification Case Study

Solgt av:
  • product image

NOK 1 499,00

På lager
+ NOK 223,99 i frakt

14-dagers returpolicy

Betalingsmåter:

Produktdetaljer

Produktdetaljer

The Secd Microprocessor A Verification Case Study

This Is A Milestone In Machine-assisted Microprocessor Verification. Gordon 20 And Hunt 32 Led The Way With Their Verifications Of Sim Ple Designs, Cohn 12, 13 Followed This With The Verification Of Parts Of The Viper Microprocessor. This Work Illustrates How Much These, And Other, Pioneers Achieved In Developing Tractable Models, Scalable Tools, And A Robust Methodology.
  • Fruugo-ID: 556942018-1125184152
  • ISBN: 9780792392453
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