所有图书
Foundations of Algebraic Specification and Formal Software Development - Donald Sannella and Andrzej Tarlecki
View more
Foundations of Algebraic Specification and Formal Software Development - Donald Sannella and Andrzej Tarlecki
Exploring Formalisation: A Primer in Human-Readable Mathematics in Lean 3 with Examples from Simplicial Topology
View more
Exploring Formalisation: A Primer in Human-Readable Mathematics in Lean 3 with Examples from Simplicial Topology
Formal Refinement for Operating System Kernels - Iain D. Craig
View more
Formal Refinement for Operating System Kernels - Iain D. Craig
Formal Concept Analysis: Third International Conference, ICFCA 2005, Lens, France, February 14-18, 2005. Proceedings
View more
Formal Concept Analysis: Third International Conference, ICFCA 2005, Lens, France, February 14-18, 2005. Proceedings
Organisationen im Spannungsfeld von Stabilitat und Dynamik - Analyse dynamischer Fahigkeiten als Innovationsroutinen in verschiedenen Organisationsstrukturtypen anhand formaler Strukturelemente - [Dissertation]
View more
Organisationen im Spannungsfeld von Stabilitat und Dynamik - Analyse dynamischer Fahigkeiten als Innovationsroutinen in verschiedenen Organisationsstrukturtypen anhand formaler Strukturelemente - [Dissertation]
A roadmap for formal property verification
View more
A roadmap for formal property verification
Formal Models of Operating System Kernels - Iain D. Craig
View more
Formal Models of Operating System Kernels - Iain D. Craig
On Writing Well, 30th Anniversary Edition: An Informal Guide to Writing Nonfiction
View more
On Writing Well, 30th Anniversary Edition: An Informal Guide to Writing Nonfiction
Theories of Programming and Formal Methods - Zhiming Liu, JimWoodcock and Huibiao Zhu
View more
Theories of Programming and Formal Methods - Zhiming Liu, JimWoodcock and Huibiao Zhu
Crisis and Continuity at the Abbasid Court : Formal and Informal Politics in the Caliphate of al-Muqtadir (295–320-908–32)
View more
Crisis and Continuity at the Abbasid Court : Formal and Informal Politics in the Caliphate of al-Muqtadir (295–320-908–32)
Integrated Formal Methods: 7th International Conference - Michael Leuschel Heike Wehrheim
View more
Integrated Formal Methods: 7th International Conference - Michael Leuschel Heike Wehrheim