> > > > > abstraction-refinement-for-large-scale-model-checking

Chao Wang - Abstraction Refinement For Large Scale Model Checking

Het boek Abstraction Refinement For Large Scale Model Checking van de auteur Chao Wang is 1 maal gevonden, 1 maal nieuw en 0 maal tweedehands. "Abstraction Refinement For Large Scale Model Checking" is nieuw te koop vanaf € 101,00 bij Bol.com.

Nieuw (1) vanaf € 101,00 bij Bol.com Toon 1 nieuw boek
Bent u de schrijver van dit boek of weet u iets over deze auteur?

Omero.nl is druk bezig om informatie over auteurs toe te voegen. Neem contact met ons op via support@omero.nl om een auteursprofiel aan te maken met een foto, biografie, website adres en sociale media links.
Nieuw
We hebben 1 nieuw boek gevonden
Abstraction Refinement For Large Scale Model Checking

Type: Hardcover
ISBN: 9780387341552
Levertijd: 22

Aanbieder:
€ 101,00
Bekijk boek


Andere populaire boeken van Chao Wang
We hebben meer boeken van de Auteur gevonden. Hieronder ziet u de 3 boeken waar het meeste aanbod van is.
Theory Of Translation Closedness For Time Scales

ISBN: 9783030386436


Bekijk boek

Nieuw (2)
vanaf € 131,99
Tweedehands (0)
Developments In Mathematics- Combined Measure And Shift Invariance Theory Of Time Scales And Applications

ISBN: 9783031116186


Bekijk boek

Nieuw (1)
€ 99,99
Tweedehands (0)
High Performance Computing For Big Data Methodologies And Applications Chapman Hallcrc Big Data Series

ISBN: 9781498783996


Bekijk boek

Nieuw (1)
€ 122,90
Tweedehands (0)
Bekijk hier alle boeken van Chao Wang