cam a22 4500 357852737 CHVBK 20201209093412.0 160304s2014 gw ||||| |||| 10 |eng d 978-3-662-43612-7 (RERO)R008381450 RERO geucui s1in rero Formal techniques for distributed objects, components, and systems 34th IFIP WG 6.1 international conference, FORTE 2014 held as part of the 9th international federated conference on distributed computing techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014 : proceedings Erika Abrahám ... [et al.], (eds.) DisCoTec 2014 Distributed computing techniques FORTE 2014 COORDINATION 2014 DAIS 2014 Berlin Springer 2014 320 p. ill. txt rdacontent n rdamedia nc rdacarrier Programming and software engineering. Sublibrary of Lecture notes in computer science 8461 Variante du titre: DisCoTec 2014 Included three conferences: COORDINATION 2014, DAIS 2014, FORTE 2014 Langages formels (RERO)A021014354 rero Traitement réparti (RERO)A021001892 rero Programmation (RERO)A021028018 rero Réseaux d'ordinateurs (RERO)A021002474 rero Actes de congrès (RERO)A021105530 rero Ábrahám Erika (IDREF)204087104 edt Fédération internationale pour le traitement de l'information Working Group 6.1 (RERO)A026081578 International Conference on Formal Techniques for Distributed Objects, Components and Systems (34 2014 Berlin) International Federated Conference on Distributed Computing Techniques (9 2014 Berlin) (RERO)A026081580 Coordination 2014 (16 2014 Berlin) (RERO)A026087320 International Conference on Distributed Applications and Interoperable systems (14 2014 Berlin) (RERO)A026081582 Lecture notes in computer science 8461 (RERO)000078255 BK020800 XK020000 XK020000 RERO RE61083 RE61083 RE610830001 C.2.4 FOR 34 RERO 490 1- Programming and software engineering. Sublibrary of Lecture notes in computer science 8461 RERO 700 1- Ábrahám Erika (IDREF)204087104 edt RERO 710 2- Fédération internationale pour le traitement de l'information Working Group 6.1 (RERO)A026081578 RERO 711 2- International Conference on Formal Techniques for Distributed Objects, Components and Systems (34 2014 Berlin) RERO 711 2- International Federated Conference on Distributed Computing Techniques (9 2014 Berlin) (RERO)A026081580 RERO 711 2- Coordination 2014 (16 2014 Berlin) (RERO)A026087320 RERO 711 2- International Conference on Distributed Applications and Interoperable systems (14 2014 Berlin) (RERO)A026081582 RERO 830 -- Lecture notes in computer science 8461 (RERO)000078255 SWISSBIB 32021298X