Boek

Abstraction Refinement For Large Scale Model Checking

Abstraction Refinement for Large Scale Model Checking «

Score:

(3/0)

Aantal recensies:

0

Aantal keer getipt:

0

Aantal keer gelezen:

0

Auteur(s):

Chao Wang, Fabio Somenzi, Gary D. Hachtel

Categorie:

ISBN

9780387341552

Welkom op Boeklezers.nl

Boeklezers.nl is een netwerk voor sociaal lezen. Wij helpen lezers nieuwe boeken en schrijvers ontdekken, en brengen lezers met elkaar en schrijvers in contact. Meer lezen »

Er zijn nog geen berichten geplaatst op het prikbord van Abstraction Refinement For Large Scale Model Checking.