Research Catalog

Formal systems specification : the RPC-memory specification case study

Title: Formal systems specification : the RPC-memory specification case study / Manfred Broy, Stephan Merz, Katharina Spies, eds.
Publication: Berlin ; New York : Springer, c1996.

Filter by

Item details
Status	Format	Access	Call Number	Item Location
Request for On-site Use Request Scan How do I pick up this item and when will it be ready?	Text	Request in advance	JSE 97-167	Offsite

Additional Authors

Description

xxiii, 540 p. : ill.; 24 cm.

Series Statement

Lecture notes in computer science ; 1169

Subjects

Bibliography (note)

Call Number

JSE 97-167

ISBN

3540619844

OCLC

36216819

Title

Formal systems specification : the RPC-memory specification case study / Manfred Broy, Stephan Merz, Katharina Spies, eds.

Imprint

Berlin ; New York : Springer, c1996.

Series

Lecture notes in computer science ; 1169

Bibliography

Includes bibliographical references.

Added Author

Broy, M., 1949-

Merz, Stephan.

Spies, Katharina.

Research Call Number

JSE 97-167