Borzoo Bonakdarpour – författare

Visar alla böcker från författaren Borzoo Bonakdarpour. Handla med fri frakt och snabb leverans.

3 produkter

1. 

   Runtime Verification

   5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings

   Av Borzoo Bonakdarpour, Scott A. Smolka

   Häftad, 2014

   568 kr

   Lägg i varukorg

   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 …

2. 

   Runtime Verification

   5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings

   Av Scott A. Smolka, Borzoo Bonakdarpour

   E-bok, 2014

   755 kr

   Lägg i varukorg

   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 …

3. 

   Stabilization, Safety, and Security of Distributed Systems

   18th International Symposium, SSS 2016, Lyon, France, November 7-10, 2016, Proceedings

   Av Borzoo Bonakdarpour, Franck Petit

   Häftad, 2016

   568 kr

   Lägg i varukorg

   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 …