×

Formal stystems specification. The RPC-memory specification case study. (English) Zbl 1060.68504

Lecture Notes in Computer Science 1169. Berlin: Springer (ISBN 3-540-61984-4). xxiii, 540 p. (1996).
The articles of this volume will not be indexed individually.

MSC:

68-06 Proceedings, conferences, collections, etc. pertaining to computer science
68Q60 Specification and verification (program logics, model checking, etc.)
00B15 Collections of articles of miscellaneous specific interest
PDFBibTeX XMLCite