{"product_id":"real-time-systems-cambridge-university-press-9780521883337-formal-specification-and-automatic-verification-e-r-olderog","title":"Real-Time Systems","description":"\u003cp\u003eDiscover the intricate world of real-time systems in the comprehensive graduate textbook, \u003cstrong\u003eReal-Time Systems\u003c\/strong\u003e by E.-R Olderog. Published by Cambridge University Press in 2008, this authoritative hardback spans 344 pages, delving into essential software specification techniques crucial for embedded safety-critical applications. From the rapid deployment of airbags in cars to other time-sensitive technologies, this book explores three key methods: duration calculus, timed automata, and PLC-automata. Perfect for students and professionals alike, \u003cstrong\u003eReal-Time Systems\u003c\/strong\u003e offers valuable insights into real-time data processing essential in today's fast-paced technological landscape. Enhance your understanding and stay ahead in the field with this indispensable resource.\u003c\/p\u003e","brand":"E.-R Olderog","offers":[{"title":"Default Title","offer_id":52230771343702,"sku":"9780521883337","price":100.64,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9780521883337.jpg?v=1767747260","url":"https:\/\/www.englishbook.fi\/products\/real-time-systems-cambridge-university-press-9780521883337-formal-specification-and-automatic-verification-e-r-olderog","provider":"Bookshop","version":"1.0","type":"link"}