Program Specification - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540114901, 9783540391760

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Concurrency

Program Specification - Lecture Notes in Computer Science ◽

10.1007/3-540-11490-4_25 ◽

1982 ◽

pp. 415-422

Author(s):

Leif Sandegaard Nielsen

Download Full-text

Program specification by module trees

Program Specification - Lecture Notes in Computer Science ◽

10.1007/3-540-11490-4_20 ◽

1982 ◽

pp. 294-321

Author(s):

J. Steensgaard-Madsen

Keyword(s):

Program Specification

Download Full-text

Example 1: Geometrical constructions

Program Specification - Lecture Notes in Computer Science ◽

10.1007/3-540-11490-4_3 ◽

1982 ◽

pp. 25-30 ◽

Cited By ~ 1

Author(s):

Jørgen Staunstrup

Download Full-text

List of participants

Program Specification - Lecture Notes in Computer Science ◽

10.1007/3-540-11490-4_27 ◽

1982 ◽

pp. 425-426

Download Full-text

Program specification: Issues and observations

Program Specification - Lecture Notes in Computer Science ◽

10.1007/3-540-11490-4_2 ◽

1982 ◽

pp. 5-24

Author(s):

J. J. Horning

Keyword(s):

Program Specification

Download Full-text

Robust data types

Program Specification - Lecture Notes in Computer Science ◽

10.1007/3-540-11490-4_16 ◽

1982 ◽

pp. 215-254 ◽

Cited By ~ 1

Author(s):

Flaviu Cristian

Keyword(s):

Data Types

Download Full-text

Example 3: Communication network

Program Specification - Lecture Notes in Computer Science ◽

10.1007/3-540-11490-4_13 ◽

1982 ◽

pp. 123-136

Author(s):

Ib Holm Sørensen

Keyword(s):

Communication Network

Download Full-text

Parameter passing in algebraic specification languages

Program Specification - Lecture Notes in Computer Science ◽

10.1007/3-540-11490-4_21 ◽

1982 ◽

pp. 322-369 ◽

Cited By ~ 13

Author(s):

Hartmut Ehrig ◽

Hans-Jörg Kreowski ◽

James Thatcher ◽

Eric Wagner ◽

Jesse Wright

Keyword(s):

Algebraic Specification ◽

Specification Languages ◽

Parameter Passing

Download Full-text

A specification language

Program Specification - Lecture Notes in Computer Science ◽

10.1007/3-540-11490-4_23 ◽

1982 ◽

pp. 381-401 ◽

Cited By ~ 6

Author(s):

lb Hoim Sørensen

Keyword(s):

Specification Language

Download Full-text

Partial correctness of distributed programs

Program Specification - Lecture Notes in Computer Science ◽

10.1007/3-540-11490-4_14 ◽

1982 ◽

pp. 137-180

Author(s):

D. Coleman ◽

R. M. Gallimore

Keyword(s):

Distributed Programs ◽

Partial Correctness

Download Full-text

Program Specification - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Concurrency

Program specification by module trees

Example 1: Geometrical constructions

List of participants

Program specification: Issues and observations

Robust data types

Example 3: Communication network

Parameter passing in algebraic specification languages

A specification language

Partial correctness of distributed programs

Program Specification - Lecture Notes in Computer Science
Latest Publications