Your search returned 3 results.

Results
	1.		Image from Amazon.com	Computer Aided Verification [electronic resource] : 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014. Proceedings / edited by Armin Biere, Roderick Bloem. by Biere, Armin [editor.] Bloem, Roderick [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 8559Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
	2.		Image from Amazon.com	Trusted Systems [electronic resource] : 5th International Conference, INTRUST 2013, Graz, Austria, December 4-5, 2013, Proceedings / edited by Roderick Bloem, Peter Lipp. by Bloem, Roderick [editor.] Lipp, Peter [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 8292Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
	3.		Image from Amazon.com	Decidability of parameterized verification / Roderick Bloem [and six others]. by Bloem, Roderick P [author.] Safari eBooks Series: Synthesis lectures on distributed computing theory ; # 13.Publisher: [Place of publication not identified] : Morgan & Claypool Publishers, [2015]Copyright date: (copy)2015 Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)

Copyright © 2020 Alfaisal University Library. All Rights Reserved.
Tel: +966 11 2158948 Fax: +966 11 2157910 Email: librarian@alfaisal.edu