Coordination Models and Languages 19th IFIP WG 6.1 International Conference, COORDINATION 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings /

Detalles Bibliográficos
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Jacquet, Jean-Marie. (Editor ), Massink, Mieke. (Editor )
Formato: eBook
Lenguaje:English
Publicado: Cham : Springer International Publishing : Imprint: Springer, 2017.
Edición:1st ed. 2017.
Colección:Programming and Software Engineering ; 10319
Materias:
Acceso en línea:https://doi.org/10.1007/978-3-319-59746-1
LEADER 01783nam a22003735i 4500
001 978-3-319-59746-1
005 20191026171911.0
007 cr nn 008mamaa
008 170526s2017 gw | s |||| 0|eng d
020 |a 9783319597461 
024 7 |a 10.1007/978-3-319-59746-1  |2 doi 
040 |a Sistema de Bibliotecas del Tecnológico de Costa Rica 
245 1 0 |a Coordination Models and Languages  |b 19th IFIP WG 6.1 International Conference, COORDINATION 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings /  |c edited by Jean-Marie Jacquet, Mieke Massink. 
250 |a 1st ed. 2017. 
260 # # |a Cham :  |b Springer International Publishing :  |b Imprint: Springer,  |c 2017. 
300 |a XII, 279 p. 94 illus.  |b online resource. 
336 |a text  |b txt  |2 rdacontent 
337 |a computer  |b c  |2 rdamedia 
338 |a online resource  |b cr  |2 rdacarrier 
490 1 |a Programming and Software Engineering ;  |v 10319 
505 0 |a Languages and tools -- Types -- Resource, components and information flow -- Verification. 
650 0 |a Software engineering. 
650 0 |a Computer programming. 
650 0 |a Programming languages (Electronic computers). 
650 0 |a Application software. 
650 1 4 |a Software Engineering. 
650 2 4 |a Programming Techniques. 
650 2 4 |a Programming Languages, Compilers, Interpreters. 
650 2 4 |a Information Systems Applications (incl. Internet). 
700 1 |a Jacquet, Jean-Marie.  |e editor. 
700 1 |a Massink, Mieke.  |e editor.  |0 (orcid)0000-0001-5089-002X  |1 https://orcid.org/0000-0001-5089-002X 
710 2 |a SpringerLink (Online service) 
773 0 |t Springer eBooks 
856 4 0 |u https://doi.org/10.1007/978-3-319-59746-1