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

Detalles Bibliográficos
Autor Corporativo:	SpringerLink (Online service)
Otros Autores:	Barrett, Clark. (Editor ), Davies, Misty. (Editor ), Kahsai, Temesghen. (Editor )
Formato:	eBook
Lenguaje:	English
Publicado:	Cham : Springer International Publishing : Imprint: Springer, 2017.
Edición:	1st ed. 2017.
Colección:	Programming and Software Engineering ; 10227
Materias:	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.

Descripción
Descripción Física:	XI, 436 p. 124 illus. : online resource.
ISBN:	9783319572888

Ejemplares similares