REBIUN - ODA

Descripción del título

Automated Technology for Ve...

Automated Technology for Verification and Analysis [15th International Symposium, ATVA 2017, Pune, India, October 3{u2013}6, 2017, Proceedings

D'Souza, Deepak.,

Narayan Kumar, K.,

Springer International Publishing 2017

Ver

Computer science Computer organization Software engineering Programming languages (Electronic computers) Computers Computer Science Software Engineering Programming Languages, Compilers, Interpreters Computer Systems Organization and Communication Networks Computing Milieux Theory of Computation Computing Methodologies

Monografía

monografia Rebiun19489772 https://catalogo.rebiun.org/rebiun/record/Rebiun19489772 171003s2017 gw | s |1|| 0|eng d 9783319681672 9783319681665 UPNA0482281 UMA.RE Automated Technology for Verification and Analysis Recurso electrónico] :] 15th International Symposium, ATVA 2017, Pune, India, October 3{u2013}6, 2017, Proceedings edited by Deepak D'Souza, K. Narayan Kumar Servicio en línea Cham Springer International Publishing Imprint: Springer 2017 Cham Cham Springer International Publishing Imprint: Springer XIX, 482 p. 106 il XIX, 482 p. 106 il Lecture Notes in Computer Science 10482 Acceso restringido a miembros del Consorcio de Bibliotecas Universitarias de Andalucía Modo de acceso: world wide web Springer (e-Books) Computer science Computer organization Software engineering Programming languages (Electronic computers) Computers Computer Science Software Engineering Programming Languages, Compilers, Interpreters Computer Systems Organization and Communication Networks Computing Milieux Theory of Computation Computing Methodologies D'Souza, Deepak. ed. lit Narayan Kumar, K. ed. lit Lecture Notes in Computer Science (Servicio en línea) SpringerLink Books (Servicio en línea)

• Localizaciones: 3
• 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/Rebiun19489772

Cerrar

monografia Rebiun19489772 https://catalogo.rebiun.org/rebiun/record/Rebiun19489772 171003s2017 gw | s |1|| 0|eng d 9783319681672 9783319681665 UPNA0482281 UMA.RE Automated Technology for Verification and Analysis Recurso electrónico] :] 15th International Symposium, ATVA 2017, Pune, India, October 3{u2013}6, 2017, Proceedings edited by Deepak D'Souza, K. Narayan Kumar Servicio en línea Cham Springer International Publishing Imprint: Springer 2017 Cham Cham Springer International Publishing Imprint: Springer XIX, 482 p. 106 il XIX, 482 p. 106 il Lecture Notes in Computer Science 10482 Acceso restringido a miembros del Consorcio de Bibliotecas Universitarias de Andalucía Modo de acceso: world wide web Springer (e-Books) Computer science Computer organization Software engineering Programming languages (Electronic computers) Computers Computer Science Software Engineering Programming Languages, Compilers, Interpreters Computer Systems Organization and Communication Networks Computing Milieux Theory of Computation Computing Methodologies D'Souza, Deepak. ed. lit Narayan Kumar, K. ed. lit Lecture Notes in Computer Science (Servicio en línea) SpringerLink Books (Servicio en línea)