> > > > > computer-aided-verification

Hana Chockler - Computer Aided Verification

Het boek Computer Aided Verification van de auteur Hana Chockler is 4 maal gevonden, 4 maal nieuw en 0 maal tweedehands. "Computer Aided Verification" is nieuw te koop vanaf € 58,99 bij Bol.com.

Nieuw (4) vanaf € 58,99 bij Bol.com Toon 4 nieuwe boeken
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.

Andere auteurs

We hebben Computer Aided Verification ook gevonden geschreven door andere auteurs:

Computer Aided Verification
Computer Aided Verification

Nieuw
We hebben 4 nieuwe boeken gevonden
Computer Aided Verification

Type: Paperback
ISBN: 9781013270987
Levertijd: 22

Aanbieder:
€ 58,99
Bekijk boek
Computer Aided Verification

Type: Paperback
ISBN: 9781013271007
Levertijd: 22

Aanbieder:
€ 66,99
Bekijk boek
Computer Aided Verification

Type: Hardcover
ISBN: 9781013271014
Levertijd: 16

Aanbieder:
€ 70,99
Bekijk boek
Computer Aided Verification

Type: Hardcover
ISBN: 9781013270994
Levertijd: 16

Aanbieder:
€ 76,99
Bekijk boek


Andere populaire boeken van Hana Chockler
We hebben meer boeken van de Auteur gevonden. Hieronder ziet u de 3 boeken waar het meeste aanbod van is.
Coverage Metrics For Model Checking

ISBN: 9783845421988


Bekijk boek

Nieuw (1)
€ 62,99
Tweedehands (0)
Bekijk hier alle boeken van Hana Chockler