{"product_id":"9783319661759","title":"Verification and Evaluation of Computer and Communication Systems","description":"​This book constitutes the proceedings of the 11th International  Conference International Conference on Verification and Evaluation of Computer and Communication Systems ( VECoS 2017 ), held at Concordia University, Montreal, Canada, in August 2017.\u003cdiv\u003e\n\u003cbr\u003e The 13 full papers, together with 3 abstracts in this volume were carefully reviewed and  selected from 35 submissions.\u003c\/div\u003e\u003cdiv\u003e\u003cbr\u003e\u003c\/div\u003e\u003cdiv\u003eThe aim of the VECoS conference is to bring together researchers and practitioners in the areas of verification, control, performance and dependability evalu-ation in order to discuss state-of-the-art and challenges in modern computer and communication systems in which functional and extra-functional properties are strongly in\u003c\/div\u003eterrelated. Thus, the main motivation for VECoS is to encourage the cross-fertilization between various formal verification and evaluation approaches, methods and techniques, and especially those developed for concurrent and dis-tributed hardware\/software systems.\u003cbr\u003e\u003cdiv\u003e\u003cbr\u003e\u003c\/div\u003e\u003cp\u003e\u003c\/p\u003e\u003cp\u003e\u003cstrong\u003ePublication Year: \u003c\/strong\u003e2017\u003cbr\u003e\u003cstrong\u003eImprint: \u003c\/strong\u003eSpringer International Publishing\u003cbr\u003e\u003cstrong\u003e\u003c\/strong\u003eFormat: P\u003cbr\u003e\u003cstrong\u003e\u003c\/strong\u003eWeight (Gram): 349\u003cbr\u003e\u003cstrong\u003e\u003c\/strong\u003e\u003cbr\u003e\u003cstrong\u003e\u003c\/strong\u003e\u003cbr\u003e\u003cstrong\u003e\u003c\/strong\u003e\u003cbr\u003e\u003cstrong\u003e\u003c\/strong\u003e\u003cbr\u003e\u003cstrong\u003e\u003c\/strong\u003e\u003cbr\u003e\u003cstrong\u003e\u003c\/strong\u003e\u003c\/p\u003e","brand":"Kamel Barkaoui","offers":[{"title":"Default Title","offer_id":41278620991666,"sku":"9783319661759","price":1217503.2,"currency_code":"IDR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0502\/5382\/4178\/products\/3319661752.01_SCLZZZZZZZ.jpg?v=1636244246","url":"https:\/\/readabook.store\/en-id\/products\/9783319661759","provider":"READABOOK BY ALKEM","version":"1.0","type":"link"}