Real.Time.Systems.Formal.Specification.and.Automatic.Verification pdf epub mobi txt 電子書 搜索结果
Real.Time.Systems.Formal.Specification.and.Automatic.Verification
Formal Techniques in Real-Time and Fault-Tolerant Systems
Formal Techniques in Real-Time and Fault-Tolerant Systems
实时与容错系统中的形式技术／会议录Formal techniques in real-time and fault-tolerant systems
Real-Time Systems
Real-Time Systems
Real-Time Systems
Real-Time Systems
Real Time Systems
Real-Time Systems
Real-Time Systems Design Principles for Distributed Embedded Applications (The International Series in Engineering and Computer Science)
Real-Time Systems Design and Analysis
Real-Time Systems Design and Analysis
Real-Time Systems and Their Programming Languages (International Computer Science Series)
Real-Time Systems (Mcgraw-Hill Series in Computer Science)
Real-Time Systems and Software
Real-Time Systems Development
Engineering Real Time Systems
Fault-tolerant Real-Time Systems
Modeling and Verification of Real-time Systems
Design Patterns for Distributed Real-time Systems
Agile Softwareentwicklung für Embedded Real-Time Systems mit der UML
Scheduling and Prototyping of Distributed Real-Time Systems (An Approach Using Jini/JavaSpaces)
Software Design Methods for Concurrent and Real-Time Systems
Specification and Seamless Verification of Embedded Real-Time Systems - Focus on Isabelle
DSP Software Development Techniques for Embedded and Real-Time Systems
Hard Real-Time Computing Systems
Hard Real-time Computing Systems
Hard Real-Time Computing Systems
