{"product_id":"distributed-systems-methods-and-tools-for-specification-an-advanced-course-von-m-w-alford-j-p-ansart-g-hommel-l-lamport-b-liskov-g-p-mullery-f-b-schneider","title":"Distributed Systems","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\u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9783540152163\"\u003e\u003ch3\u003eMethods and Tools for Specification. An Advanced Course\u003c\/h3\u003e\u003c\/div\u003e","brand":"Libri","offers":[{"title":"Softcover - 9783540152163","offer_id":39424960725085,"sku":"9783540152163","price":53.49,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0940\/0622\/files\/5d4cfdc2-8ef7-4425-84d2-8d33b000438b.jpg?v=1773554268","url":"https:\/\/shop.autorenwelt.de\/products\/distributed-systems-methods-and-tools-for-specification-an-advanced-course-von-m-w-alford-j-p-ansart-g-hommel-l-lamport-b-liskov-g-p-mullery-f-b-schneider","provider":"Autorenwelt Shop","version":"1.0","type":"link"}