Abstraction Refinement for Large Scale Model Checking - Prijzen

This book summarizes recent research on abstraction techniques for model checking large digital system. Considering the size of today's 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...

De Abstraction Refinement for Large Scale Model Checking is een populaire optie voor Stroomketens & Componenten. Esy heeft 1 prijs gevonden, de goedkoopste keuze is volgens ons Bol, maar bekijk de andere aanbieders om het zeker te weten. Links openen in een nieuwe tabblad. Bekijk hier onder de product specificaties. Meer product informatie beschikbaar bij Bol.

Productspecificaties

Waar te koop

Abstraction Refinement for Large Scale Model Checking is onder andere te koop bij: Bol. Esy raadt altijd aan om meerdere aanbieders te bekijken om geen last minute deals mis te lopen.

Abstraction Refinement for Large Scale Model Checking
meer afbeeldingen
  • EAN9780387341552
46.026.932producten
164.999merken
937winkels