0
Your cart

Your cart is empty

Browse All Departments
  • All Departments
Price
  • R1,000 - R2,500 (1)
  • R2,500 - R5,000 (1)
  • -
Status
Brand

Showing 1 - 2 of 2 matches in All Departments

Runtime Verification - 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings... Runtime Verification - 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings (Paperback, 2014 ed.)
Borzoo Bonakdarpour, Scott A. Smolka
R2,561 Discovery Miles 25 610 Ships in 10 - 15 working days

This book constitutes the refereed proceedings of the 5th International Conference on Runtime Verification, RV 2014, held in Toronto, ON, Canada in September 2014. The 28 revised full papers presented together with 2 tool papers, and 8short papers were carefully reviewed and selected from 70 submissions. The scope of the conference was on following topics: monitoring and trace slicing, runtime verification of distributed and concurrent systems, runtime Verification of real-time and embedded systems, testing and bug finding, and inference and learning.

Stabilization, Safety, and Security of Distributed Systems - 18th International Symposium, SSS 2016, Lyon, France, November... Stabilization, Safety, and Security of Distributed Systems - 18th International Symposium, SSS 2016, Lyon, France, November 7-10, 2016, Proceedings (Paperback, 1st ed. 2016)
Borzoo Bonakdarpour, Franck Petit
R1,552 Discovery Miles 15 520 Ships in 10 - 15 working days

This book constitutes the refereed proceedings of the 18th International Symposium on Stabilization, Safety, and Security of Distributed Systems, SSS 2016, held in Lyon, France, in November 2016. This year the Program Committee was organized into three groups reflecting the major trends related to self-* systems: (a) Self-* and Autonomic Computing, (b)Foundations, and (c) Networks, Multi-Agent Systems, and Mobility.

Free Delivery
Pinterest Twitter Facebook Google+
You may like...
Seagull Clear Storage Box (29lt)
R241 Discovery Miles 2 410
Dala Craft Pom Poms - Assorted Colours…
R34 Discovery Miles 340
Loot
Nadine Gordimer Paperback  (2)
R205 R164 Discovery Miles 1 640
Hask Keratin Protein Smoothing Shine Oil…
R90 Discovery Miles 900
Je Joue Uma - Fuchsia
R2,399 R1,899 Discovery Miles 18 990
Sudocrem Skin & Baby Care Barrier Cream…
R70 Discovery Miles 700
Home Quip Stainless Steel Double Wall…
R181 R155 Discovery Miles 1 550
Ashcom Pet, Dog Groom Pet Nail Trimmer…
R499 Discovery Miles 4 990
Aerolatte Cappuccino Art Stencils (Set…
R110 R95 Discovery Miles 950
Bostik Clear (50ml)
R57 Discovery Miles 570

 

Partners