Your search returned 5 results.

Results
	1.	Software Verification and Validation [electronic resource] : An Engineering and Scientific Approach / by Marcus S. Fisher. by Fisher, Marcus S SpringerLink (Online service) Material type: Computer file; Format: electronic available online Publication details: Boston, MA : Springer Science+Business Media, LLC, 2007 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.76.V47 F57 2007. Place hold Add to cart (remove)
	2.	New Horizons of Parallel and Distributed Computing [electronic resource] / edited by Minyi Guo, Laurence Tianruo Yang. by Guo, Minyi Yang, Laurence Tianruo SpringerLink (Online service) Material type: Computer file; Format: electronic available online Publication details: Boston, MA : Springer Science+Business Media, Inc., 2005 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.58 .N49 2005. Place hold Add to cart (remove)
	3.	Virtual Machines [electronic resource] / by Iain D. Craig. by Craig, Iain D SpringerLink (Online service) Material type: Computer file; Format: electronic available online Publication details: London : Springer-Verlag London, 2006 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.9.V5 C73 2007. Place hold Add to cart (remove)
	4.	Principles of the Spin Model Checker [electronic resource] / by Mordechai Ben-Ari. by Ben-Ari, Mordechai SpringerLink (Online service) Material type: Computer file; Format: electronic available online Publication details: London : Springer-Verlag London Limited, 2008 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.76 V47 B46 2008. Place hold Add to cart (remove)
	5.	Soft Real-Time Systems [electronic resource] : Predictability vs. Efficiency / by Giorgio Buttazzo, Giuseppe Lipari, Luca Abeni, Marco Caccamo. by Buttazzo, Giorgio Lipari, Giuseppe Abeni, Luca Caccamo, Marco SpringerLink (Online service) Series: Series in Computer Science Material type: Computer file; Format: electronic available online Publication details: Boston, MA : Springer Science+Business Media, Inc., 2005 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.54 .S56 2005. Place hold Add to cart (remove)

Powered by Koha