Reliable Software Technologies : Ada-Europe 2014 : 19th Ada-Europe International Conference on Reliable Software Technologies Paris, France, June 23-27, 2014 : Proceedings /
Selección de ponencias presentadas en la décima novena Conferencia Internacional Ada-Europe sobre Tecnologías de Software Confiables, celebrada en París, Francia, en junio de 2014. Los artículos desarrollan temas relacionados con los métodos formales, usos de Ada, programación en tiempo real y desar...
Furkejuvvon:
| Searvvušdahkki: | |
|---|---|
| Eará dahkkit: | , |
| Materiálatiipa: | Konfereansapublikašuvdna Girji |
| Giella: | eaŋgalasgiella |
| Almmustuhtton: |
Cham, Suiza :
Springer,
2014, c2014
|
| Ráidu: | (Lecture Notes in Computer Science ;
8454) |
| Fáttát: | |
| Liŋkkat: | Ver documento en línea |
| Fáddágilkorat: |
Eai fáddágilkorat, Lasit vuosttaš fáddágilkora!
|
Interneahtta
Ver documento en línea| Hildobáiki: |
Libro en línea
|
||
|---|---|---|---|
| Ejemplar 567364-1 |
Disponible
Préstamo en línea
|
Čoakkáldat:
Libros electrónicos en línea
|
Fuomášahttimat:
Consultar en línea
|