{"product_id":"program-specification-proceedings-of-a-workshop-aarhus-denmark-august-1981-von-j-staunstrup-hrsg","title":"Program Specification","description":"\u003cp\u003eProgram specification: Issues and observations.- Example 1: Geometrical constructions.- Example 1: Geometrical constructions.- Example 2: KWIC ¿ index generation.- Example 2: KWIC ¿ index generation.- Example 2: KWIC ¿ index generation.- Example 2: KWIC ¿ index generation.- Example 2: KWIC ¿ index generation.- Example 2: KWIC ¿ index generation.- Example 2: KWIC ¿ index generation.- Example 3: Communication network.- Example 3: Communication network.- Partial correctness of distributed programs.- Specification of distributed programs.- Robust data types.- A reduction specification for DTL.- Recursive definitions of operations in universal algebras.- The SRDL specification experiment.- Program specification by module trees.- Parameter passing in algebraic specification languages.- A few remarks on putting formal specifications to productive use.- A specification language.- Tecton: A language for manipulating generic objects.- Concurrency.- Workshop on program specification.- List of participants.\u003c\/p\u003e\u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9783540114901\"\u003e\u003ch3\u003eProceedings of a Workshop Aarhus, Denmark, August 1981\u003c\/h3\u003e\u003c\/div\u003e","brand":"Libri","offers":[{"title":"Softcover - 9783540114901","offer_id":39436027986013,"sku":"9783540114901","price":53.49,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0940\/0622\/files\/fe12e643-977f-4a6a-b912-7ed88c1d871c.jpg?v=1773554390","url":"https:\/\/shop.autorenwelt.de\/en\/products\/program-specification-proceedings-of-a-workshop-aarhus-denmark-august-1981-von-j-staunstrup-hrsg","provider":"Autorenwelt Shop","version":"1.0","type":"link"}