Formal Methods at the Crossroads. From Panacea to Foundational SupportBernhard K. Aichernig, Tom MaibaumHäftad550 kr
Formal Methods for Components and ObjectsBernhard K. Aichernig, Frank S. de Boer, Marcello M. BonsangueHäftad550 kr
On the Construction of Engineering HandbooksStefan Gruner, Apurva Kumar, Tom Maibaum, Markus RoggenbachHäftad534 kr
Signerad!SIGNERAD - Där färgen får styra : En berättelse i akvarellMaximilian Svensson, Linda NewnhamInbunden319 kr