A survey of verification techniques for parallel programs

Description

Disclaimer:
Contents of this page are indexed from the Internet. All actions are under your responsability. Email us to report illegal contents or external links and we'll remove them immediately.

Please check the description for download links if any or do a search to find alternative books.

Can't Download?
Please search mirrors if you can't find download links for "A survey of verification techniques for parallel programs" in "Description" and someone else may update the links. Check the comments when back to find any updates.

Search Mirrors
Maybe some mirror pages will be helpful, search this book at top of this page or click here to find more info.

1. Ebooks list page : 1276
2. Designing and Building Parallel Programs: Concepts and Tools for Parallel Software Engineering
3. Designing and Building Parallel Programs: Concepts and Tools for Parallel Software Engineering
4. Designing and Building Parallel Programs: Concepts and Tools for Parallel Softwa
5. Modular Specification and Verification of Object-Oriented Programs
6. Verification Techniques for System-Level Design
7. System-on-a-Chip Verification - Methodology and Techniques
8. System-on-a-Chip Verification - Methodology and Techniques
9. Verification Techniques for System-Level Design (repost)
10. Advanced Verification Techniques: A SystemC Based Approach for Successful Tapeout
11. Advanced Verification Techniques: A SystemC Based Approach for Successful Tapeout
12. Advanced Verification Techniques: A SystemC Based Approach for Successful Tapeout
13. Kaplan, Greenberg - Parallel processing techniques for hidden su
14. Kaplan, Greenberg - Parallel processing techniques for hidden su
15. Advanced Visual Basic 6: Power Techniques for Everyday Programs
16. [request_ebook] Systems and software verification model checking techniques and tools