Exemplare: Formal techniques for networked and distributed systems :

Gespeichert in:

Bibliographische Detailangaben
Körperschaft:	International Conference on Formal Techniques for Networked and Distributed Systems :Madrid, Spain
Weitere Verfasser:	Frutos-Escrig, David de (Verlagsleitung), Nùñez, Manuel, 19..- (Verlagsleitung)
Format:	Livre numérique
Sprache:	Anglais
Veröffentlicht:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Schriftenreihe:	Lecture notes in computer science 3235
Schlagworte:	Génie logiciel Informatique Traitement réparti Systèmes d'exploitation (ordinateurs) Protocoles de réseaux d'ordinateurs Réseaux d'ordinateurs Actes de congrès
Online Zugang:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Anmerkung:	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 for networked and distributed systems, FORTE 2004, 24th IFIP WG 6.1 international conference, Madrid, Spain, September 27-30, 2004, proceedings, David de Frutos-Escrig, Manuel Núñez (eds.), Berlin, Springer, 2004, 1 vol. (X-375 p.), Lecture notes in computer science, 3-540-23252-4 • Formal Techniques for Networked and Distributed Systems - FORTE 2004, Texte imprimé, 9783662166727