The No1 Ethical retailer for Books, CD’s, DVD’s & Games
30 Day Refund Guarantee

Buy Used and New RoderickBloem Books

Results for RoderickBloem

Showing 1 to 3 of 3 results
Trusted Systems: 5th International Conference, INTRUST 2013, Graz, Austria, December 4-5, 2013, Proceedings: 8292 (Lecture Notes in Computer Science) Trusted Systems: 5th International Conference, INTRUST 2013, Graz, Austria, December 4-5, 2013, Proceedings: 8292 (Lecture Notes in Computer Science) by Roderick Bloem

Trusted Systems: 5th International Conference, INTRUST 2013, Graz, Austria, December 4-5, 2013, Proceedings: 8292 (Lecture Notes in Computer Science)

by Roderick Bloem


ISBN 13: 9783319034904

Format: Paperback (116 pages)
Publisher: Springer
Published: 20 Nov 2013

Save for later

 
New : $67.89  
New : $67.89
Hardware and Software: Verification and Testing: 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings: 10028 (Lecture Notes in Computer Science) Hardware and Software: Verification and Testing: 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings: 10028 (Lecture Notes in Computer Science) by Roderick Bloem, Eli Arbel

Hardware and Software: Verification and Testing: 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings: 10028 (Lecture Notes in Computer Science)

by Roderick Bloem, Eli Arbel


ISBN 13: 9783319490519

Format: Paperback (228 pages)
Publisher: Springer
Published: 01 Nov 2016

Save for later

 
New : $62.28  
New : $62.28
Computer Aided Verification: 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July ... (Lecture Notes in Computer Science) Computer Aided Verification: 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July ... (Lecture Notes in Computer Science) by Armin Biere, Roderick Bloem

Computer Aided Verification: 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July ... (Lecture Notes in Computer Science)

by Armin Biere, Roderick Bloem


ISBN 13: 9783319088662

Format: Paperback (912 pages)
Publisher: Springer
Published: 04 Aug 2014

Save for later

 
New : $110.39  
New : $110.39