Interactive Systems. Design, Specification, and Verification

Options

• Formats: pdf
• ISBN: 9783540695547
• Publication Date: 15 May 2007
• Publisher: Springer Berlin Heidelberg
• Product language: English
• Drm Setting: DRM