Provably Correct Systems /

Provably Correct Systems /

Detalles Bibliográficos
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Hinchey, Mike. (Editor ), Bowen, Jonathan P. (Editor ), Olderog, Ernst-Rüdiger. (Editor )
Formato: eBook
Lenguaje:English
Publicado: Cham : Springer International Publishing : Imprint: Springer, 2017.
Edición:1st ed. 2017.
Colección:NASA Monographs in Systems and Software Engineering,
Materias:
Mathematical logic.
Computer logic.
Computers.
Computer programming.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Models and Principles.
Programming Techniques.
Descripción
Descripción Física:XV, 328 p. 84 illus., 48 illus. in color. : online resource.
ISBN:9783319486284

Ejemplares similares