Número de Cutter-SanbornD263cEntrada «Davis, M.» → 263 · marca de obra “c”

Correct-Program Technology/Extensibility of Verifiers. Two Papers on Program Verification. by Martin Davis and J. T. Schwartz

Name: Correct-Program Technology/Extensibility of Verifiers. Two Papers on Program Verification. by Martin Davis and J. T. Schwartz
ISBN: 9781379252634

Edición de la obra Correct-Program Technology/Extensibility of Verifiers. Two Papers on Program Verification. by Martin Davis and J. T. Schwartz

Autor	Martin Davis, Jt Schwartz
Editorial	Creative Media Partners, LLC
Fecha de publicación	2018

Correct-Program Technology/Extensibility of Verifiers. Two Papers on Program Verification. | Cutter Number