Electronic Books

  1. Home
  2. Electronic Books
Total Books: 1 - 3 /3
978-3-540-75596-8
Automated Technology for Verification and Analysis

This book presented theoretical methods to achieve correct software or hardware systems, including both functional and non ...

Continue reading
978-3-540-75596-8
Automated Technology for Verification and Analysis

This book presented theoretical methods to achieve correct software or hardware systems, including both functional and non ...

Continue reading
978-3-540-47238-4
Automated Technology for Vertification and Analysis

The Automated Technology for Veri?cation and Analysis (ATVA) international symposium series was initiated in 2003, The main ...

Continue reading
Total Books: 1 - 3 /3