{"product_id":"formal-techniques-in-real-time-and-fault-tolerant-systems-second-international-symposium-nijmegen-the-netherlands-january-8-10-1992-proceedings-9783540550921","title":"Formal Techniques in Real-Time and Fault-Tolerant Systems: Second International Symposium, Nijmegen, the Netherlands, January 8-10, 1992. Proceedings","description":"\u003cp\u003e • Author(s): Jan Vytopil\u003cbr\u003e • Publisher: Springer\u003cbr\u003e • Publisher Imprint: Springer\u003cbr\u003e • BISAC: Electrical\u003c\/p\u003e\u003cp\u003eThis book presents latest research results on problems and solutions in safety-critical system design. Logic, process algebra, and action\/event models are applied to specification, modeling, analysis and verification of real-time and fault-tolerant systems.\u003c\/p\u003e","brand":"Springer","offers":[{"title":"Paperback","offer_id":47591875969175,"sku":"9783540550921","price":11417.0,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0666\/3471\/1191\/files\/9783540550921.webp?v=1774974960","url":"https:\/\/atlanticbooks.com\/products\/formal-techniques-in-real-time-and-fault-tolerant-systems-second-international-symposium-nijmegen-the-netherlands-january-8-10-1992-proceedings-9783540550921","provider":"Atlantic Books","version":"1.0","type":"link"}