> > > > > symbolic-execution-and-quantitative-reasoning

Corina S. Pasareanu - Symbolic Execution And Quantitative Reasoning

Het boek Symbolic Execution And Quantitative Reasoning van de auteur Corina S. Pasareanu is 2 maal gevonden, 2 maal nieuw en 0 maal tweedehands. "Symbolic Execution And Quantitative Reasoning" is nieuw te koop vanaf € 49,99 bij Bol.com.

Nieuw (2) vanaf € 49,99 bij Bol.com Toon 2 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.
Nieuw
We hebben 2 nieuwe boeken gevonden
Symbolic Execution And Quantitative Reasoning

Type: Paperback
ISBN: 9781681738543
Levertijd: 24

Aanbieder:
€ 49,99
Bekijk boek
Symbolic Execution And Quantitative Reasoning

Type: Hardcover
ISBN: 9781681738567
Levertijd: 24

Aanbieder:
€ 63,00
Bekijk boek