Exemplares: Formal techniques in real-time and fault-tolerant systems :

Na minha lista:

Detalhes bibliográficos
Autor Corporativo:	Conference on Formal Techniques in Real-Time and Fault Tolerant Systems :Pune, Inde
Outros Autores:	Joseph, Mathai, 1943- (Directeur de la publication)
Formato:	Livre numérique
Idioma:	Anglais
Publicado em:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Colecção:	Lecture notes in computer science 1926
Assuntos:	Informatique Temps réel (informatique) Langages de programmation Tolérance aux fautes (informatique) Microprocesseurs Structure logique Actes de congrès
Acesso em linha:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Nota:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Formal techniques in real-time and fault-tolerant systems, 6th International Symposium, FTRTFT 2000, Pune, India, September 20-22, 2000, Mathai Joseph (ed.), 2000, New York, Springer, 1 vol. (X-303 p.), Lecture notes in computer science, 3-540-41055-4 • Formal Techniques in Real-Time and Fault-Tolerant Systems, Texte imprimé, 9783662172131