电子书百科大全 Formal Modeling and Analysis of Timed Systems: 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007, Proceedings (Lecture .. Computer Science and General Issues)
Get this book Contact Email: girro@qq.com
Hardcover: 369 pages
Publisher: Springer (September 20, 2007)
Language: English
ISBN-10: 3540754539
Formal Modeling and Analysis of Timed Systems: 5th
相关推荐
Machine Learning: A Constraint-Based Approach, 2nd Edition- C++ For Dummies 8th Edition
- Build a Reasoning Model
- Pricing and the Condition Technique with SAP S/4HANA
- Electronics with Discrete Components 2nd Edition
- Algorithms for Smart World Technologies: A Comprehensive Guide to Applications in AI, IoT and Automation for Electrical and Computer Engineers
- RSSI-Based Localizations: Applications and Advancements with Machine Learning
- Crime and Law in England, 1750–1840: Remaking Justice from the Margins