{"title":"Doron A Peled","description":null,"products":[{"product_id":"model-checking-and-artificial-intelligence-book-doron-a-peled-9783642004308","title":"Model Checking and Artificial Intelligence","description":"This book constitutes the thoroughly refereed post-workshop proceedings of the 5th Workshop on Model Checking and Artificial Intelligence, MOCHART 2008, held in Patras, Greece, in July 2008 as a satellite event of ECAI 2008, the 18th biannual European conference on Artificial Intelligence. The 9 revised full workshop papers presented together with 2 invited lectures have gone through two rounds of reviewing and improvement and were carefully selected for inclusion in the book. The workshop covers all ideas, research, experiments and tools that relate to both MC and AI fields.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52148521435409,"sku":"NLS9783642004308","price":0.0,"currency_code":"GBP","in_stock":true},{"title":"US \/ NEW \/ INGRAM","offer_id":52761785205009,"sku":"NIN9783642004308","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783642004308.jpg?v=1786096565"},{"product_id":"formal-techniques-for-networked-and-distributed-systems-forte-2002-book-doron-a-peled-9783540001416","title":"Formal Techniques for Networked and Distributed Systems - FORTE 2002","description":"The IFIP TC6 WG 6.1 Joint International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2002, was held this year at Rice University, Houston, Texas, on November 11–14. This annual conference provides a forum for researchers and practitioners from universities and industry to meet and advance technologies in areas of speci?cation, testing, and veri?cation of distributed systems and communication protocols. The main topics are: – FDT-based system and protocol engineering. – Semantical foundations. – Extensions of FDTs. – Formal approaches to concurrent\/distributed object-oriented systems. – Real-time and probability aspects. – Performance modeling and analysis. – Quality of service modeling and analysis. – Veri?cation and validation. – Relations between informal and formal speci?cation. – FDT-based protocol implementation. – Software tools and support environments. – FDT application to distributed systems. – Protocol testing, including conformance testing, interoperability testing, and performance testing. – Test generation, selection, and coverage. – Practical experience and case studies. – Corporate strategic and ?nancial consequences of using formal methods. A total of 61 papers were submitted to FORTE 2002, and reviewed by m- bers of the program committee and additional reviewers. The program committee selected 22 regular papers, two tool papers, and two posters for presentation at the conference. The program also included three tutorials and ?ve invited talks.","brand":"WoB","offers":[{"title":"- \/ - \/ INTERNAL","offer_id":52353956872465,"sku":null,"price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ NEW \/ INGRAM","offer_id":52353957560593,"sku":"NLS9783540001416","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783540001416.jpg?v=1785954591"},{"product_id":"automated-technology-for-verification-and-analysis-book-doron-a-peled-9783540292098","title":"Automated Technology for Verification and Analysis","description":"The Automated Technology for Veri?cation and Analysis (ATVA) international symposium series was initiated in 2003, responding to a growing interest in formal veri?cation spurred by the booming IT industry, particularly hardware design and manufacturing in East Asia.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52407749935377,"sku":"NLS9783540292098","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783540292098.jpg?v=1758772937"},{"product_id":"software-reliability-methods-book-doron-a-peled-9780387951065","title":"Software Reliability Methods","description":"Many books focus on increasing the quality of software through the use of formal methods. However, most books embrace one particular method, and present it as the suggested solution for the software reliability problem. This book presents a wider picture of formal methods, through a collection of notations and techniques. It compares them, and discusses their advantages and disadvantages. One of the main challenges of formal methods is in transferring the tech- nology developed by researchers to the software development community. Re- cently, we seem to be starting to have a better understanding of the important ingredients of formal methods tools. This manifests itself in the growing ac- ceptance of such tools in the software and hardware development industry. Ideally, formal methods need to be intuitive to use (preferably using graphi- cal interfaces), do not impose on the user an extensive learning period, and incur only small overhead to the development process. Formal methods are much more acceptable today than ten or twenty years ago, in particular in the hardware industry. Yet there is still a lively contention between different approaches.","brand":"WoB","offers":[{"title":"- \/ - \/ INTERNAL","offer_id":52431137997073,"sku":null,"price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ NEW \/ INGRAM","offer_id":52431138685201,"sku":"NLS9780387951065","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9780387951065.jpg?v=1786109512"},{"product_id":"software-reliability-methods-book-doron-a-peled-9781441928764","title":"Software Reliability Methods","description":"Many books focus on increasing the quality of software through the use of formal methods. However, most books embrace one particular method, and present it as the suggested solution for the software reliability problem. This book presents a wider picture of formal methods, through a collection of notations and techniques. It compares them, and discusses their advantages and disadvantages. One of the main challenges of formal methods is in transferring the tech- nology developed by researchers to the software development community. Re- cently, we seem to be starting to have a better understanding of the important ingredients of formal methods tools. This manifests itself in the growing ac- ceptance of such tools in the software and hardware development industry. Ideally, formal methods need to be intuitive to use (preferably using graphi- cal interfaces), do not impose on the user an extensive learning period, and incur only small overhead to the development process. Formal methods are much more acceptable today than ten or twenty years ago, in particular in the hardware industry. Yet there is still a lively contention between different approaches.","brand":"WoB","offers":[{"title":"- \/ - \/ INTERNAL","offer_id":52662567108881,"sku":null,"price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ NEW \/ INGRAM","offer_id":52662568157457,"sku":"NLS9781441928764","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9781441928764.jpg?v=1785963122"},{"product_id":"software-reliability-methods-book-doron-a-peled-9781475735413","title":"Software Reliability Methods","description":null,"brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52684686197009,"sku":"NLS9781475735413","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9781475735413.jpg?v=1762323603"}],"url":"https:\/\/www.worldofbooks.com\/collections\/author-books-by-doron-a-peled.oembed","provider":"World of Books ","version":"1.0","type":"link"}