Program Specification: Proceedings of a Workshop Aarhus, Denmark, August 1981: 134 (Lecture Notes in Computer Science, 134) - Softcover
Synopsis
No Program Specification Read a customer review or write one .
"synopsis" may belong to another edition of this title.
Search results for Program Specification: Proceedings of a Workshop Aarhus,...
Seller Image
Program Specification : Proceedings of a Workshop Aarhus, Denmark, August 1981
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition. Seller Inventory # 5908180
Stock Image
Program Specification: Proceedings of a Workshop Aarhus, Denmark, August 1981 (Lecture Notes in Computer Science, 134)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9783540114901_new
Buy New
£ 50.43
£ 11.98 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
Seller Image
Program Specification : Proceedings of a Workshop Aarhus, Denmark, August 1981
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 5908180-n
Buy New
£ 50.42
£ 15 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
Seller Image
Program Specification : Proceedings of a Workshop Aarhus, Denmark, August 1981
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 5908180-n
Seller Image
Program Specification : Proceedings of a Workshop Aarhus, Denmark, August 1981
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition. Seller Inventory # 5908180
Buy Used
£ 55.92
£ 15 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
Stock Image
Program Specification
Seller: Books Puddle, New York, NY, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. pp. 436. Seller Inventory # 263101186
Stock Image
Program Specification
Print on DemandSeller: Majestic Books, Hounslow, United Kingdom
Seller rating 4 out of 5 stars
Condition: New. Print on Demand pp. 436 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam. Seller Inventory # 5828061
Buy New
£ 68.90
£ 6.50 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 4 available
Stock Image
Program Specification
Print on DemandSeller: Biblios, Frankfurt am main, HESSE, Germany
Seller rating 4 out of 5 stars
Condition: New. PRINT ON DEMAND pp. 436. Seller Inventory # 183101192
Seller Image
Program Specification
Published by
Springer Berlin Heidelberg, 1982
ISBN 10: 3540114904
ISBN 13: 9783540114901
New
Softcover
Seller: moluna, Greven, Germany
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 4881390
Buy New
£ 43.03
£ 42.31 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: Over 20 available
Seller Image
Program Specification
Published by
Springer, Springer Apr 1982, 1982
ISBN 10: 3540114904
ISBN 13: 9783540114901
New
Taschenbuch
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Program 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.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 436 pp. Englisch. Seller Inventory # 9783540114901