Welcome to Loot.co.za!
Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
|
Your cart is empty |
|||
Showing 1 - 1 of 1 matches in All Departments
This book constitutes the refereed proceedings of the 5th International Symposium on Automated Technology for Verification and Analysis, ATVA 2007, held in Tokyo, Japan, October 22-25, 2007. The 29 revised full papers presented together with 7 short papers were carefully reviewed and selected from 88 submissions. The papers address theoretical methods to achieve correct software or hardware systems, including both functional and non functional aspects; as well as applications of theory in engineering methods and particular domains and handling of practical problems occurring in tools.
|
You may like...
Better Choices - Ensuring South Africa's…
Greg Mills, Mcebisi Jonas, …
Paperback
Prophecy Before Vision - Learning to See…
James Michael Matthew
Hardcover
1 Recce: Volume 3 - Through Stealth Our…
Alexander Strachan
Paperback
Race Otherwise - Forging A New Humanism…
Zimitri Erasmus
Paperback
(3)
The Entomologist's Record and Journal of…
James William 1858-1911 Tutt
Hardcover
R915
Discovery Miles 9 150
The Entomologist's Record and Journal of…
James William 1858-1911 Tutt
Hardcover
R879
Discovery Miles 8 790
|