SStructure of Pure ReasonStructure of Pure Reasonde Dines Bjørner, Kai SørlanderEdiciones (1)Structure of Pure Reason (2025)Springer · inglés · ISBN 9783031833007Más obras de Dines BjørnerSoftware Engineering 1: Abstraction and Modelling (Texts in Theoretical Computer Science. An EATCS Series)VVDM '90. VDM and Z - Formal Methods in Software Development
Software Engineering 1: Abstraction and Modelling (Texts in Theoretical Computer Science. An EATCS Series)