Formal Methods at the Crossroads. From Panacea to Foundational Support

Options

• Formats: pdf
• ISBN: 9783540400073
• Publication Date: 29 Mar 2011
• Publisher: Springer Berlin Heidelberg
• Product language: English
• Drm Setting: DRM