Abstraction Refinement For Large Scale Model Checking

€ 159,00
+ € 19,99 Verzending

Abstraction Refinement For Large Scale Model Checking

Verkocht door:
  • product image

€ 159,00

Op voorraad
+ € 19,99 Verzending

14-dagen retourbeleid

Kopersbescherming

Betaalmethoden:

Productdetails

Productdetails

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.
  • Merk: Springer Nature B.V
  • Categorie: Computers & Internet
  • Auteur: Chao Wang
  • Uitgever / Label: Springer Nature B.V
  • Formaat: Hardcover
  • Aantal pagina's: 196
  • Verschijningsdatum: 2006-07-20
  • Taal: English
  • Fruugo-ID: 550928015-1115606415
  • ISBN: 9780387341552
Belofte

Garantie van de verkoper

Wettelijke garantie van 2 jaar inbegrepen

Uw consumentenrechten binnen de EU omvatten een gratis wettelijke garantie van ten minste 2 jaar

Download de wettelijke conformiteitsgarantie
Levering

Levering

Wordt binnen 24 uur verzonden

  • STANDARD: € 25,29 - Levering tussen do 12 november 2026–ma 16 november 2026

Verzending vanaf Verenigd Koninkrijk.

Retourneren

Retourneren & Annuleren

Retourneren

We doen ons best om ervoor te zorgen dat de producten die u bestelt volledig en volgens uw specificaties bij u worden afgeleverd. Mocht u echter een onvolledige bestelling ontvangen of andere artikelen dan degene die u heeft besteld, of als er een andere reden is waarom u niet tevreden bent met de bestelling, dan kunt u de bestelling retourneren, of welk product dan ook die bij de bestelling was inbegrepen, en ontvangt u een volledige terugbetaling voor de artikelen.

Bekijk het volledige retourbeleid

Annuleren

U heeft het recht om uw aankoop binnen 14 dagen na ontvangst van uw bestelling zonder opgave van reden te herroepen. Om eenvoudig van uw recht gebruik te maken, kunt u de link 'Mijn bestelling annuleren' in de voettekst van elke pagina of in uw Fruugo-account onder 'Bestellingen' gebruiken. Zodra u van uw herroepingsrecht gebruikmaakt, sturen wij u een bevestiging per e-mail. Als uw bestelling al door de verkoper is verzonden, zullen wij u de nodige retourinstructies verstrekken om ervoor te zorgen dat uw terugbetaling snel wordt verwerkt.

Bekijk het volledige annuleringsbeleid