Formal systems specification : the RPC-memory specification case study /

Bibliographic Details
Corporate Author:	SpringerLink (Online service)
Other Authors:	Broy, M., 1949-, Merz, Stephan, Spies, Katharina
Format:	eBook
Language:	English
Published:	Berlin ; New York : Springer, [1996]
Series:	Lecture notes in computer science ; 1169.
Subjects:	Electronic data processing > Distributed processing. Computer networks. Memory management (Computer science) système réparti. gestion mémoire. mémoire partagée. spécification formelle. RPC. Gestion mémoire (Informatique) > Congrès. Systèmes conversationnels (Informatique) > Congrès. Traitement réparti > Congrès. Réseaux d'ordinateurs. Traitement réparti. Ordinateurs > Mémoires. Spezifikationstechnik. Electronic books.
Online Access:	Connect to the full text of this electronic book

Description
Item Description:	Electronic resource.
Physical Description:	1 online resource (xxiii, 540 pages) : illustrations
Bibliography:	Includes bibliographical references.
ISBN:	3540619844 9783540619840
ISSN:	0302-9743 ;