{"product_id":"distributed-systems-methods-and-tools-for-specification-an-advanced-course-lecture-notes-in-computer-science-190","title":"Distributed Systems: Methods and Tools for Specification. An Advanced Course (Lecture Notes in Computer Science, 190)","description":"\u003cp\u003eBasic concepts.- Acquisition - environment.- A graph model based approach to specifications.- Formal foundation for specification and verification.- Language constructs for distributed programs.- The argus language and system.- Paradigms for distributed programs.- Issues and tools for protocol specification.- Conclusion.\u003c\/p\u003e","brand":"Springer","offers":[{"title":"Default Title","offer_id":48839821558005,"sku":"BRWH-3540152164","price":59.99,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0737\/5804\/8501\/files\/51dHgFPLr2L_3eecc7e8-4e1c-464a-a365-7deb9153a5bd.jpg?v=1789128256","url":"https:\/\/ergodebooks.com\/products\/distributed-systems-methods-and-tools-for-specification-an-advanced-course-lecture-notes-in-computer-science-190","provider":"Ergodebooks","version":"1.0","type":"link"}