NASA Formal Methods : 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings /

NASA Formal Methods : 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings /

Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: Barrett, Clark. (Editor), Davies, Misty. (Editor), Kahsai, Temesghen. (Editor)
Format: eBook
Language:English
Published: Cham : Springer International Publishing : Imprint: Springer, 2017.
Edition:1st ed. 2017.
Series:Programming and Software Engineering ; 10227
Subjects:
Software engineering.
Programming languages (Electronic computers).
Computer programming.
Computer logic.
Mathematical logic.
Algorithms.
Software Engineering.
Programming Languages, Compilers, Interpreters.
Programming Techniques.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Algorithm Analysis and Problem Complexity.

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