Inbunden, Engelska, 2015
749 kr
Skickas inom 10-15 vardagar
Daniel Kroening – författare
Visar alla böcker från författaren Daniel Kroening.
11 produkter
11 produkter
- Del 8471 - Lecture Notes in Computer Science
Verified Software: Theories, Tools and Experiments
6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers
Häftad, Engelska, 2014729 kr
Skickas inom 10-15 vardagar
- Del 9207 - Lecture Notes in Computer Science
Computer Aided Verification
27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II
Häftad, Engelska, 2015749 kr
Skickas inom 10-15 vardagar
- Del 9206 - Lecture Notes in Computer Science
Computer Aided Verification
27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I
Häftad, Engelska, 2015749 kr
Skickas inom 10-15 vardagar
- Häftad, Engelska, 2016
749 kr
Skickas inom 10-15 vardagar
- Häftad, Tyska, 2008
419 kr
Skickas inom 10-15 vardagar
- Häftad, Engelska, 2011
749 kr
Skickas inom 10-15 vardagar
- Inbunden, Engelska, 2017
729 kr
Skickas inom 5-8 vardagar
- Häftad, Engelska, 2018
499 kr
Skickas inom 5-8 vardagar
- Inbunden, Engelska, 2018
939 kr
Tillfälligt slut
- Inbunden, Engelska, 2008
1 189 kr
Tillfälligt slut