Daniel Kroening – författare
Visar alla böcker från författaren Daniel Kroening.
11 produkter
11 produkter
Inbunden, Engelska, 2015
719 kr
Skickas inom 10-15 vardagar
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, 2014
689 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, 2015
719 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, 2015
719 kr
Skickas inom 10-15 vardagar
Häftad, Engelska, 2016
719 kr
Skickas inom 10-15 vardagar
Inbunden, Engelska, 2008
1 149 kr
Skickas inom 5-8 vardagar
Häftad, Tyska, 2008
399 kr
Skickas inom 10-15 vardagar
Häftad, Engelska, 2011
719 kr
Skickas inom 10-15 vardagar
Inbunden, Engelska, 2017
699 kr
Skickas inom 5-8 vardagar
Häftad, Engelska, 2018
479 kr
Skickas inom 5-8 vardagar
Inbunden, Engelska, 2018
939 kr
Tillfälligt slut