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

Auteur(s) : Ravn, Anders P.  Voir les notices liées en tant qu'auteur

Titre(s) : Formal Techniques in Real-Time and Fault-Tolerant Systems [Texte électronique] : 5th International Symposium, FTRTFT'98 Lyngby, Denmark, September 14-18, 1998 Proceedings / edited by Anders P. Ravn, Hans Rischel

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

Description matérielle : 1 online resource

Collection : Lecture Notes in Computer Science ; 1486

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) : Rischel, Hans. Fonction indéterminée  Voir les notices liées en tant qu'auteur

Sujet(s) : Informatique  Voir les notices liées en tant que sujet
Temps réel (informatique)  Voir les notices liées en tant que sujet
Langages de programmation  Voir les notices liées en tant que sujet
Systèmes d'exploitation (ordinateurs)  Voir les notices liées en tant que sujet
Tolérance aux fautes (informatique)  Voir les notices liées en tant que sujet
Microprocesseurs  Voir les notices liées en tant que sujet

Indice(s) Dewey :  005.13 (23e éd.) = Programmation des ordinateurs  Voir les notices liées en tant que sujet ; 004.33 (23e éd.) = Traitement en temps réel  Voir les notices liées en tant que sujet

Identifiants, prix et caractéristiques : ISBN 9783540497929

Identifiant de la notice  : ark:/12148/cb44693547p

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