Daniel Kroening
Alle artikelen van Daniel Kroening
-
- Engels
- E-book
- 9783319106236
- 01 juli 2015
- Adobe ePub
This book describes the methodology and accompanying technology for reducing the costs of validation…
Prijsinformatie en bestellen
De prijs van dit product is 49 euro en 99 cent.Meestal54,49Je bespaart 8%
Direct beschikbaarLevertijd
We doen er alles aan om dit artikel op tijd te bezorgen. Het is echter in een enkel geval mogelijk dat door omstandigheden de bezorging vertraagd is.
Bezorgopties
We bieden verschillende opties aan voor het bezorgen of ophalen van je bestelling. Welke opties voor jouw bestelling beschikbaar zijn, zie je bij het afronden van de bestelling.
Verkoop door bol -
27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I
- Engels
- E-book
- 9783319216904
- 15 juli 2015
- Adobe ePub
The two-volume set LNCS 9206 and LNCS 9207 constitutes the refereed proceedings of the 27th International…
Prijsinformatie en bestellen
De prijs van dit product is 49 euro en 99 cent.Meestal54,49Je bespaart 8%
Direct beschikbaarLevertijd
We doen er alles aan om dit artikel op tijd te bezorgen. Het is echter in een enkel geval mogelijk dat door omstandigheden de bezorging vertraagd is.
Bezorgopties
We bieden verschillende opties aan voor het bezorgen of ophalen van je bestelling. Welke opties voor jouw bestelling beschikbaar zijn, zie je bij het afronden van de bestelling.
Verkoop door bolEbook 49,99
-
6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers
- Engels
- E-book
- 9783319121543
- 13 oktober 2014
- Adobe ePub
This volume constitutes the thoroughly refereed post-conference proceedings of the 6th International…
Prijsinformatie en bestellen
De prijs van dit product is 46 euro en 99 cent.Direct beschikbaarLevertijd
We doen er alles aan om dit artikel op tijd te bezorgen. Het is echter in een enkel geval mogelijk dat door omstandigheden de bezorging vertraagd is.
Bezorgopties
We bieden verschillende opties aan voor het bezorgen of ophalen van je bestelling. Welke opties voor jouw bestelling beschikbaar zijn, zie je bij het afronden van de bestelling.
Verkoop door bol -
Decision Procedures TweedehandsAn Algorithmic Point of View- Engels
- Hardcover
- 9783540741046
- 23 mei 2008
- 306 pagina's
A decision procedure is an algorithm that, given a decision problem, terminates with a correct yes/no…
VanafPrijsinformatie en bestellen
De prijs van dit product is 76 euro en 26 cent. Dit is een tweedehands product. -
- Engels
- E-book
- 9780262349451
- 04 december 2018
- Adobe ePub
An expanded and updated edition of a comprehensive presentation of the theory and practice of model checking,…
Prijsinformatie en bestellen
De prijs van dit product is 48 euro en 99 cent.Direct beschikbaarLevertijd
We doen er alles aan om dit artikel op tijd te bezorgen. Het is echter in een enkel geval mogelijk dat door omstandigheden de bezorging vertraagd is.
Bezorgopties
We bieden verschillende opties aan voor het bezorgen of ophalen van je bestelling. Welke opties voor jouw bestelling beschikbaar zijn, zie je bij het afronden van de bestelling.
Verkoop door bol -
- 9783319382005
- 17 oktober 2016
- 228 pagina's
This book describes the methodology and accompanying technology for reducing the costs of validation…
Prijsinformatie en bestellen
De prijs van dit product is 57 euro en 99 cent.2 - 3 wekenLevertijd
We doen er alles aan om dit artikel op tijd te bezorgen. Het is echter in een enkel geval mogelijk dat door omstandigheden de bezorging vertraagd is.
Bezorgopties
We bieden verschillende opties aan voor het bezorgen of ophalen van je bestelling. Welke opties voor jouw bestelling beschikbaar zijn, zie je bij het afronden van de bestelling.
Verkoop door bol
Lijst met gekozen artikelen om te vergelijken
- Waar wil je dit mee vergelijken? Je kan in totaal vier artikelen kiezen. Er is nog plaats voor andere artikelen. ander artikel.