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