Reihe Advances in Formal MethodsBücher × 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 € The Object-Z Specification Language Graeme SmithSpringer USHardcover1999213,99 €
