REBIUN - ODA

Descripción del título

Dependable Software Enginee...

Dependable Software Engineering. Theories, Tools, and Applications [Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings

Larsen, Kim Guldstrand.,

Sokolsky, Oleg.,

Wang, Ji.,

Springer International Publishing 2017

Ver

Computer science Software engineering Computer logic Mathematical logic Mathematical statistics Computer simulation Computer Science Software Engineering Logics and Meanings of Programs Mathematical Logic and Formal Languages Simulation and Modeling Probability and Statistics in Computer Science

Monografía

monografia Rebiun19510350 https://catalogo.rebiun.org/rebiun/record/Rebiun19510350 171016s2017 gw | s |1|| 0|eng d 9783319694832 9783319694825 UPNA0482340 UMA.RE Dependable Software Engineering. Theories, Tools, and Applications Recurso electrónico] Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings edited by Kim Guldstrand Larsen, Oleg Sokolsky, Ji Wang Servicio en línea Cham Springer International Publishing Imprint: Springer 2017 Cham Cham Springer International Publishing Imprint: Springer XVIII, 351 p. 74 il XVIII, 351 p. 74 il Lecture Notes in Computer Science 10606 Acceso restringido a miembros del Consorcio de Bibliotecas Universitarias de Andalucía Modo de acceso: world wide web Springer (e-Books) Computer science Software engineering Computer logic Mathematical logic Mathematical statistics Computer simulation Computer Science Software Engineering Logics and Meanings of Programs Mathematical Logic and Formal Languages Simulation and Modeling Probability and Statistics in Computer Science Larsen, Kim Guldstrand. ed. lit Sokolsky, Oleg. ed. lit Wang, Ji. ed. lit Lecture Notes in Computer Science (Servicio en línea) SpringerLink Books (Servicio en línea)

• Localizaciones: 1
• Préstamo interbibliotecario

• Exportar
  • Dublin Core
  • Google scholar
  • RIS
  • RefWorks
• Favorito
• Compartir

Información Sólo puedes introducir una dirección de email ×

Introduce un email para compartir el título

Email Pon el email de la persona con la que deseas compartir este contenido

Error .alert.alert-info

Cerrar Compartir por email

Información Haz clic en el cuadro de texto para seleccionar el contenido y copiarlo al portapapeles

Enlace permanente https://catalogo.rebiun.org/rebiun/record/Rebiun19510350

Cerrar

monografia Rebiun19510350 https://catalogo.rebiun.org/rebiun/record/Rebiun19510350 171016s2017 gw | s |1|| 0|eng d 9783319694832 9783319694825 UPNA0482340 UMA.RE Dependable Software Engineering. Theories, Tools, and Applications Recurso electrónico] Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings edited by Kim Guldstrand Larsen, Oleg Sokolsky, Ji Wang Servicio en línea Cham Springer International Publishing Imprint: Springer 2017 Cham Cham Springer International Publishing Imprint: Springer XVIII, 351 p. 74 il XVIII, 351 p. 74 il Lecture Notes in Computer Science 10606 Acceso restringido a miembros del Consorcio de Bibliotecas Universitarias de Andalucía Modo de acceso: world wide web Springer (e-Books) Computer science Software engineering Computer logic Mathematical logic Mathematical statistics Computer simulation Computer Science Software Engineering Logics and Meanings of Programs Mathematical Logic and Formal Languages Simulation and Modeling Probability and Statistics in Computer Science Larsen, Kim Guldstrand. ed. lit Sokolsky, Oleg. ed. lit Wang, Ji. ed. lit Lecture Notes in Computer Science (Servicio en línea) SpringerLink Books (Servicio en línea)