"The RAISE Specification Language" ist ein Buch, das sich mit der formalen Spezifikation und Verifikation von Software-Systemen beschäftigt. Es gehört zur BCS Practitioner Series und wurde von der Raise Language Group verfasst. Das Buch...