Electronic Books

Total Books: 1 - 2 /2
978-3-030-21244-5
Software Design for Resilient Computer Systems

This book addresses the question of how system software should be designed to account for faults, and which fault tolerance ...

Continue reading
978-3-540-79124-9
Tests and Proofs : Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008. Proceedings

This book covers the area of convergence of software proofing and testing and feature current research work that combines ...

Continue reading
Total Books: 1 - 2 /2