Formal Techniques for Safety-Critical Systems : 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised Selected Papers /

Formal Techniques for Safety-Critical Systems : 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised Selected Papers /

Detalles Bibliográficos
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Artho, Cyrille. (Editor ), Ölveczky, Peter Csaba. (Editor )
Formato: eBook
Lenguaje:English
Publicado: Cham : Springer International Publishing : Imprint: Springer, 2017.
Edición:1st ed. 2017.
Colección:Communications in Computer and Information Science, 694
Materias:
Computer logic.
Software engineering.
Programming languages (Electronic computers).
Computer simulation.
Computers.
Logics and Meanings of Programs.
Software Engineering.
Programming Languages, Compilers, Interpreters.
Simulation and Modeling.
Computation by Abstract Devices.
Descripción
Descripción Física:XII, 161 p. 40 illus. : online resource.
ISBN:9783319539461

Ejemplares similares