Tools and Algorithms for the Construction and Analysis of Systems

Options

• Formats: pdf
• ISBN: 9783540788003
• Publication Date: 3 Apr 2008
• Publisher: Springer Berlin Heidelberg
• Product language: English
• Drm Setting: DRM