Coverart for item
The Resource Formal systems specification : the RPC-memory specification case study, Manfred Broy, Stephan Merz, Katharina Spies, eds

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

Label
Formal systems specification : the RPC-memory specification case study
Title
Formal systems specification
Title remainder
the RPC-memory specification case study
Statement of responsibility
Manfred Broy, Stephan Merz, Katharina Spies, eds
Contributor
Subject
Language
eng
Member of
Cataloging source
OU
Index
no index present
LC call number
QA76.9.D5
LC item number
F67x 1996
Literary form
non fiction
Nature of contents
bibliography
Series statement
Lecture notes in computer science,
Series volume
1169
Formal systems specification : the RPC-memory specification case study, Manfred Broy, Stephan Merz, Katharina Spies, eds
Label
Formal systems specification : the RPC-memory specification case study, Manfred Broy, Stephan Merz, Katharina Spies, eds
Publication
Related Contributor
Related Location
Related Agents
Related Authorities
Related Subjects
Related Items
Bibliography note
Includes bibliographical references
http://library.link/vocab/cover_art
https://contentcafe2.btol.com/ContentCafe/Jacket.aspx?Return=1&Type=S&Value=9783540619840&userID=ebsco-test&password=ebsco-test
Dimensions
24 cm.
http://library.link/vocab/discovery_link
{'f': 'http://opac.lib.rpi.edu/record=b1336075'}
Extent
xxiii, 540 p.
Isbn
9783540619840
Lccn
97119744
Other physical details
ill.

Library Locations

    • Folsom LibraryBorrow it
      110 8th St, Troy, NY, 12180, US
      42.729766 -73.682577
Processing Feedback ...