Ambos libros desarrollan técnicas formales para la verificación, aplicando un enfoque lógico riguroso que resuena con el análisis de pruebas sin conocimiento.
Theory and Practice of Reasoning about Zero-Knowledge Proofs
por Lawrence C. Paulson · 2018
Ver sugerenciasSinopsis
Sé el primero en valorar este libro.
Más de Lawrence C. Paulson
Ver autor →Otras obras del mismo autor en el catálogo
Logical Foundations of Functional Programming
1994
Isabelle: A Generic Proof Assistant
1994
Programación funcional con Standard ML
1996
Los fundamentos de ML
1996
Environment Model for the Lambda Calculus
1998
Theorem Proving in Higher Order Logics
2000
Constructing a Grand Strand of the Previous Conformational Complexity
2004
A Logical Framework for Modular Verification
2010
Software Foundations
2016
Foundation of Mathematical Logic
2016
A Proof Assistant for Higher Order Logic
2017
Formal Verification of Software
2019
Types and Programming Languages
2020
Mathematical Logic and Foundations for Computer Science
2021
Reflections on Formal Methods
2022
Libros similares
Libros relacionados según distintos criterios de búsqueda
La herramienta de asistencia para pruebas en lógica de orden superior presenta un marco práctico que complementa la teoría de los sistemas de pruebas discutidos en el libro de referencia.