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

Remote Storage