Total Books: 1 - 4 /4
Automated Technology for Verification and Analysis
This book presented theoretical methods to achieve correct software or hardware systems, including both functional and non ...
Weiterlesen
Automated Technology for Verification and Analysis
This book presented theoretical methods to achieve correct software or hardware systems, including both functional and non ...
Weiterlesen
Automated Technology for Vertification and Analysis
The Automated Technology for Veri?cation and Analysis (ATVA) international symposium series was initiated in 2003, The main ...
Weiterlesen
General Theory of Information Transfer and Combinatorics
This book constitutes the thoroughly refereed research papers contributed to a research project on the `General Theory of ...
Weiterlesen
Total Books: 1 - 4 /4
