ZB 2002: Formal Specification and Development in Z and B

Options

• Formats: pdf
• ISBN: 9783540456483
• Publication Date: 31 Jul 2003
• Publisher: Springer Berlin Heidelberg
• Product language: English
• Drm Setting: DRM