Boek
Abstraction Refinement For Large Scale Model Checking
Abstraction Refinement for Large Scale Model Checking «
Score:
Aantal recensies:
Aantal keer getipt:
Aantal keer gelezen:
Auteur(s):
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 »
Recensies van Abstraction Refinement For Large Scale Model Checking door Gary D. Hachtel, Fabio Somenzi & Chao Wang
Er zijn nog geen recensies voor dit boek.
Ideeënbus
