Welcome to Loot.co.za!   Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
0
Your cart

Your cart is empty
Browse All Departments
  • All Departments
Price
  • R1,000 - R2,500 (3)
  • -
Status
Brand

Showing 1 - 3 of 3 matches in All Departments

Runtime Verification - 22nd International Conference, RV 2022, Tbilisi, Georgia, September 28-30, 2022, Proceedings (Paperback,... Runtime Verification - 22nd International Conference, RV 2022, Tbilisi, Georgia, September 28-30, 2022, Proceedings (Paperback, 1st ed. 2022)
Thao Dang, Volker Stolz
R1,878 Discovery Miles 18 780
Add to cart
Ships in 18 - 22 working days

This book constitutes the refereed proceedings of the 22nd International Conference on Runtime Verification, RV 2022, held in Tbilisi, Georgia, during September 28-30, 2022. The 12 regular papers and 10 short papers presented in this book were carefully reviewed and selected from 40 submissions. The RV conference is concerned with all aspects of monitoring and analysis of hardware, software and more general system executions. Runtime verification techniques are crucial for system correctness, reliability, and robustness; they provide an additional level of rigor and effectiveness compared to conventional testing, and are generally more practical than exhaustive formal verification.

Hybrid Systems Biology - Second International Workshop, HSB 2013, Taormina, Italy, September 2, 2013 and Third International... Hybrid Systems Biology - Second International Workshop, HSB 2013, Taormina, Italy, September 2, 2013 and Third International Workshop, HSB 2014, Vienna, Austria, July 23-24, 2014, Revised Selected Papers (Paperback, 1st ed. 2015)
Oded Maler, Adam Halasz, Thao Dang, Carla Piazza
R1,630 Discovery Miles 16 300
Add to cart
Ships in 18 - 22 working days
Kontinuierliche Selbstkalibrierung von Stereokameras (Paperback): Thao Dang Kontinuierliche Selbstkalibrierung von Stereokameras (Paperback)
Thao Dang
R1,380 Discovery Miles 13 800
Add to cart
Ships in 18 - 22 working days
Free Delivery
Pinterest Twitter Facebook Google+
You may like...
Forming Intentional Disciples - The Path to Knowing and Following Jesus, Revised and Expanded (Paperback, 2nd Revised ed.):...
Forming Intentional Disciples - The Path…
Sherry A. Weddell Paperback R455 R426 Discovery Miles 4 260
The Pope and the Pandemic - Lessons in Leadership in a Time of Crisis (Paperback): Agbonkhianmeghe E. Orobator
The Pope and the Pandemic - Lessons in…
Agbonkhianmeghe E. Orobator Paperback R440 R407 Discovery Miles 4 070
MacArthur's Quick Reference Guide to the Bible - A Book-By-Book Overview of Essential Bible Information (Paperback): John...
MacArthur's Quick Reference Guide to the…
John F Macarthur Paperback R572 R526 Discovery Miles 5 260
Hell Empty, Heaven Full - Stirring Compassion for the Lost (Paperback, Reissue ed.): Reinhard Bonnke
Hell Empty, Heaven Full - Stirring…
Reinhard Bonnke Paperback R389 R365 Discovery Miles 3 650
Mental Illness and Psychiatric Treatment - A Guide for Pastoral Counselors (Hardcover): Gregory Collins, Rev Thomas Culbertson,...
Mental Illness and Psychiatric Treatment…
Gregory Collins, Rev Thomas Culbertson, … Hardcover R3,499 Discovery Miles 34 990
John Henry Newman Sermons 1824-1843: Volume II: Sermons on Biblical History, Sin and Justification, the Christian Way of Life,...
John Henry Newman Sermons 1824-1843…
John Henry Newman Hardcover R4,587 Discovery Miles 45 870
Developmental Disabilities and Sacramental Access (Hardcover): Edward Foley
Developmental Disabilities and…
Edward Foley Hardcover R907 R776 Discovery Miles 7 760
The Voice of the Bridegroom (Hardcover): Benjamin A Roberts
The Voice of the Bridegroom
Benjamin A Roberts Hardcover R765 R669 Discovery Miles 6 690
The Great Grace - Receiving Vatican II Today (Hardcover): Nigel Zimmermann
The Great Grace - Receiving Vatican II…
Nigel Zimmermann Hardcover R4,625 Discovery Miles 46 250
Women in Pastoral Office - The Story of Santa Prassede, Rome (Hardcover): Mary M. Schaefer
Women in Pastoral Office - The Story of…
Mary M. Schaefer Hardcover R2,645 Discovery Miles 26 450

 
Books | DVD | Games | Music | Computers | Electronics | Fashion | Sport | Kitchen | Home | Pets | DIY | Toys | Baby | Health & Beauty | Stationery | Arts & Crafts
Need help?
My account
Services
Networking
Partners