Type(s) de contenu et mode(s) de consultation : Texte noté : électronique

Auteur(s) : Broy, Manfred  Voir les notices liées en tant qu'auteur

Titre(s) : Formal Systems Specification [Texte électronique] : the RPC-Memory Specification Case Study / edited by Manfred Broy, Stephan Merz, Katharina Spies

Publication : Berlin, Heidelberg : Springer-Verlag : Springer e-books, 1996

Description matérielle : 1 online resource

Collection : Lecture Notes in Computer Science ; 1169

Note(s) : L'accès complet au document est possible pour les usagers de tous les établissements publics français (situés ou non sur le territoire français) ayant des missions d'enseignement supérieur et/ou de recherche, des établissements d'enseignement supérieur privés, des bibliothèques publiques

Autre(s) auteur(s) : Merz, Stephan. Fonction indéterminée  Voir les notices liées en tant qu'auteur
Spies, Katharina. Fonction indéterminée  Voir les notices liées en tant qu'auteur

Sujet(s) : Génie logiciel  Voir les notices liées en tant que sujet
Informatique  Voir les notices liées en tant que sujet
Traitement réparti  Voir les notices liées en tant que sujet
Réseaux d'ordinateurs  Voir les notices liées en tant que sujet
Gestion mémoire (informatique)  Voir les notices liées en tant que sujet
Ordinateurs -- Mémoires  Voir les notices liées en tant que sujet

Indice(s) Dewey :  005.1 (23e éd.) = Développement de logiciels  Voir les notices liées en tant que sujet ; 004.36 (23e éd.) = Traitement réparti  Voir les notices liées en tant que sujet

Identifiants, prix et caractéristiques : ISBN 9783540495734

Identifiant de la notice  : ark:/12148/cb446934311

Notice n° :  FRBNF44693431 (notice reprise d'un réservoir extérieur)