{"product_id":"real-time-programming-languages-specification-and-verification-world-scientific-publishing-co-pte-ltd-9789810225667-r-k-shyamasundar-rudrapatna-shyamasundar","title":"Real Time Programming: Languages, Specification And Verification","description":"\u003cp\u003eDiscover the intricacies of real-time programming with \u003cstrong\u003eReal Time Programming: Languages, Specification And Verification\u003c\/strong\u003e by \u003cstrong\u003eR. K. Shyamasundar\u003c\/strong\u003e and \u003cstrong\u003eRudrapatna Shyamasundar\u003c\/strong\u003e. Published in 2009 by \u003cstrong\u003eWorld Scientific Publishing Co Pte Ltd\u003c\/strong\u003e, this comprehensive hardback edition spans 264 pages and delves into the systematic design of real-time programs.\u003c\/p\u003e \n\n\u003cp\u003eThis insightful text explores essential topics such as the unique characteristics of real-time and reactive programs, the development of reactive programming languages, and the critical processes of verification and refinement. Whether you are a student, researcher, or professional in the field of computer science, this book serves as a valuable resource for understanding the complexities of real-time data processing.\u003c\/p\u003e \n\n\u003cp\u003eEnhance your programming knowledge and skills with this essential guide that bridges theory and practical application in the realm of real-time programming.\u003c\/p\u003e","brand":"R. K. Shyamasundar, Rudrapatna Shyamasundar","offers":[{"title":"Default Title","offer_id":52262535004502,"sku":"9789810225667","price":122.46,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9789810225667.jpg?v=1767794013","url":"https:\/\/www.englishbook.fi\/products\/real-time-programming-languages-specification-and-verification-world-scientific-publishing-co-pte-ltd-9789810225667-r-k-shyamasundar-rudrapatna-shyamasundar","provider":"Bookshop","version":"1.0","type":"link"}