> > > > > automated-theorem-proving-in-software-engineering

Johann G Schumann - Automated Theorem Proving In Software Engineering

Het boek Automated Theorem Proving In Software Engineering van de auteur Johann G Schumann is 2 maal gevonden, 2 maal nieuw en 0 maal tweedehands. "Automated Theorem Proving In Software Engineering" is nieuw te koop vanaf € 56,86 bij Bol.com.

Nieuw (2) vanaf € 56,86 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
Automated Theorem Proving In Software Engineering

Type: Hardcover
ISBN: 9783540679899
Levertijd: 10

Aanbieder:
€ 56,86
Bekijk boek
Automated Theorem Proving In Software Engineering

Type: Paperback
ISBN: 9783642087592
Levertijd: 58

Aanbieder:
€ 79,00
Bekijk boek