{"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":45476724015219,"sku":"BRWH-3540152164","price":59.99,"currency_code":"USD","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0643\/1958\/6419\/files\/51dHgFPLr2L.jpg?v=1789137392","url":"https:\/\/slickpurchase.com\/products\/distributed-systems-methods-and-tools-for-specification-an-advanced-course-lecture-notes-in-computer-science-190","provider":"Slickpurchase","version":"1.0","type":"link"}