Software Engineering and Formal Methods : 15th International Conference, SEFM 2017, Trento, Italy, September 4-8, 2017, Proceedings /

Software Engineering and Formal Methods : 15th International Conference, SEFM 2017, Trento, Italy, September 4-8, 2017, Proceedings /

Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: Cimatti, Alessandro. (Editor), Sirjani, Marjan. (Editor)
Format: eBook
Language:English
Published: Cham : Springer International Publishing : Imprint: Springer, 2017.
Edition:1st ed. 2017.
Series:Theoretical Computer Science and General Issues ; 10469
Subjects:
Software engineering.
Programming languages (Electronic computers).
Computer programming.
Computers.
Computer system failures.
Artificial intelligence.
Software Engineering.
Programming Languages, Compilers, Interpreters.
Programming Techniques.
Theory of Computation.
System Performance and Evaluation.
Artificial Intelligence.

Sistema de Bibliotecas del Tecnológico de Costa Rica

Holdings details from Sistema de Bibliotecas del Tecnológico de Costa Rica
Copy Available

Similar Items