Access this book
Tax calculation will be finalised at checkout
Other ways to access
About this book
Preliminary solutions were discussed during a workshop at Schloss Dagstuhl, Germany, in September 1994. Then an extensive discussion took place between the referees and authors. Finally 15 thoroughly revised papers were accepted for inclusion in this volume in full detail together with the problem statement and a synopsis.
Keywords
Table of contents (17 papers)
Bibliographic Information
Book Title: Formal Systems Specification
Book Subtitle: The RPC-Memory Specification Case Study
Editors: Manfred Broy, Stephan Merz, Katharina Spies
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/BFb0024423
Publisher: Springer Berlin, Heidelberg
-
eBook Packages: Springer Book Archive
Copyright Information: Springer-Verlag Berlin Heidelberg 1996
Softcover ISBN: 978-3-540-61984-0Published: 06 November 1996
eBook ISBN: 978-3-540-49573-4Published: 19 November 2005
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XXIII, 543
Topics: Theory of Computation, Software Engineering, Computer Communication Networks, Logics and Meanings of Programs