Reihe Advances in Formal Methods Software Engineering with OBJAlgebraic Specification in ActionSpringer USeBook2013213,99 € Computer-Aided ReasoningACL2 Case StudiesSpringer USeBook2013213,99 € Computer-Aided ReasoningAn ApproachMatt KaufmannSpringer USeBook2012259,00 € The Object-Z Specification Language Graeme SmithSpringer USeBook2012213,99 € The Object-Z Specification Language Graeme SmithSpringer USSoftcover2012213,99 € Computer-Aided ReasoningACL2 Case StudiesSpringer USSoftcover2010213,99 € Software Engineering with OBJAlgebraic Specification in ActionSpringer USSoftcover2010213,99 € Computer-Aided ReasoningACL2 Case StudiesSpringer USHardcover2000213,99 € Computer-Aided ReasoningACL2 Case StudiesSpringer USBuch2000264,55 € Software Engineering with OBJAlgebraic Specification in ActionSpringer USHardcover2000213,99 €11 Treffer 1 2
