Cantitate/Preț
Produs
Total produse
Vezi coșul
Program Specification: Proceedings of a Workshop Aarhus, Denmark, August 1981 de J. Staunstrup

Program Specification: Proceedings of a Workshop Aarhus, Denmark, August 1981: Lecture Notes in Computer Science, cartea 134

Editat de J. Staunstrup
en Limba Engleză Paperback – apr 1982

Din seria Lecture Notes in Computer Science

Preț: 32642 lei

Preț vechi: 40802 lei
-20%

Puncte Express: 490
Preț estimativ în valută:
5777€ • 6751$ • 5015£

Carte tipărită la comandă

Livrare economică 19 februarie-05 martie

 Adaugă în coș

Wish list
Gift list
Am citit!
Adaugă în listă
Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9783540114901
ISBN-10: 3540114904
Pagini: 436
Ilustrații: VI, 426 p.
Dimensiuni: 155 x 233 x 23 mm
Greutate: 0.61 kg
Ediția:1982
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seria Lecture Notes in Computer Science

Locul publicării:Berlin, Heidelberg, Germany

Public țintă

Research

Cuprins

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.