Formal Methods at the Crossroads. From Panacea to Foundational SupportBernhard K. Aichernig, Tom MaibaumHäftad, 2003558 kr
Formal Methods for Components and ObjectsBernhard K. Aichernig, Frank S. de Boer, Marcello M. BonsangueHäftad, 2011558 kr
On the Construction of Engineering HandbooksStefan Gruner, Apurva Kumar, Tom Maibaum, Markus RoggenbachHäftad, 2020542 kr
4 för 3En flicka som kallas AliceKristin HannahPocket, 20254,5 utav 5 stjärnor. Totalt antal röster:(40)99 kr
4 för 3Brevbäraren i LizzanelloFrancesca GiannonePocket, 20264,3 utav 5 stjärnor. Totalt antal röster:(48)99 kr