-
A roadmap for formal property verification 电子书下载
Integrating formal property verification (FPV) into an existing design process raises several interesting questions. This book de ...
08-29 [ None ]
-
Formal Concept Analysis: Third International Conference, ICFCA 2005, Lens, France, February 14-18, 2005. Proceedings 电子书下载
This volume contains the Proceedings of ICFCA 2005, the 3rd International Conference on Formal Concept Analysis. The ICFCA confer ...
07-10 [ None ]
-
Exploring Formalisation: A Primer in Human-Readable Mathematics in Lean 3 with Examples from Simplicial Topology 电子书下载
This primer on mathematics formalisation provides a rapid, hands-on introduction to proof verification in Lean.After a quick intr ...
09-29 [ None ]
-
Crisis and Continuity at the Abbasid Court : Formal and Informal Politics in the Caliphate of al-Muqtadir (295–320-908–32) 电子书下载
The reign of al-Muqtadir (295-320/908-32) is a crucial and controversial epoch in the history of the Abbasid empire. Al-Muqtadir’ ...
09-19 [ None ]