Formal techniques for networked and distributed systems : FORTE 2004 : 24th IFIP WG 6.1 international conference, Madrid, Spain, September 27-30, 2004 : proceedings

Guardat en:
Dades bibliogràfiques
Autor corporatiu: International Conference on Formal Techniques for Networked and Distributed Systems :Madrid, Spain
Altres autors: Frutos-Escrig, David de (Director editorial), Nùñez, Manuel, 19..- (Director editorial)
Format: Livre numérique
Idioma:Anglais
Publicat: Berlin [etc.] : Springer [20..].
Cham : Springer Nature
Col·lecció:Lecture notes in computer science 3235
Matèries:
Accés en línia: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 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
Descripció
Descripció de l’ítem:Archives Springer e-books (Licence nationale)
Archives Springer e-books (Licence nationale)
ISBN:9783540302322 (PDF)
ISSN:1611-3349
Accés:Accès en ligne pour les établissements français bénéficiaires des licences nationales
Accès soumis à abonnement pour tout autre établissement
Conditions particulières de réutilisation pour les bénéficiaires des licences nationales. https://www.licencesnationales.fr/springer-nature-ebooks-contrat-licence-ln-2017