![]() |
Welcome to Loot.co.za!
Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
|
Your cart is empty |
||
Showing 1 - 2 of 2 matches in All Departments
This book constitutes the refereed proceedings of the Third International Symposium on Automated Technology for Verification and Analysis, ATVA 2006, held in Beijing, China in October 2006. The 35 revised full papers presented together with abstracts of three keynote papers were carefully reviewed and selected from 137 submissions.
This book constitutes the proceedings of the 7th International Symposium on Dependable Software Engineering, SETTA 2021, held in Beijing, China, in November 2021. The 16 full papers in this volume were carefully reviewed and selected from 39 submissions, and are presented with 3 abstracts of keynote speeches. They deal with latest research results and ideas on bridging the gap between formal methods and software engineering.
|
You may like...
One Hand Tied Behind Us - Rise of the…
Jill Liddington, Jill Norris
Hardcover
R530
Discovery Miles 5 300
New Perspectives on Nonlinear Dynamics…
Dimitri Volchenkov, Albert C.J. Luo
Hardcover
R6,506
Discovery Miles 65 060
Device Applications of Nonlinear…
Salvatore Baglio, Adi Bulsara
Hardcover
R2,670
Discovery Miles 26 700
Uncertainty and Surprise in Complex…
Reuben R. McDaniel, Dean J. Driebe
Hardcover
R2,763
Discovery Miles 27 630
Control of Linear Parameter Varying…
Javad Mohammadpour, Carsten W. Scherer
Hardcover
R4,112
Discovery Miles 41 120
Classics of Community Psychiatry - Fifty…
Michael Rowe, Kenneth Thompson, …
Hardcover
R2,918
Discovery Miles 29 180
Countdown 1960 - The Behind-The-Scenes…
Chris Wallace, Mitch Weiss
Hardcover
|