1,266 102 3MB
Russian Pages 69
Report DMCA / Copyright
DOWNLOAD FILE
824 82 671KB Read more
1,029 149 820KB Read more
Cyber-physical systems closely combine and coordinate subsystems consisting of both computational and physical elements.
912 162 5MB Read more
Title Page; Preface; Contents; Probabilistic Model Checking; SMT Solvers: Foundations and Applications; Formal Models fo
380 17 6MB Read more
1. Agent-based abstractions for software development / Munindar P. Singh -- 2. On the use of agents as components of sof
736 149 2MB Read more
414 42 12MB Read more
A comprehensive review of the life cycle processes, methods, and techniques used to develop and modify software-enabled
740 62 6MB Read more
1,458 112 25MB Read more
This book discusses what is currently known about software engineering, based on an analysis of all the publicly availab
1,592 149 22MB Read more
1,614 211 4MB Read more
Boxoft Image To PDF Demo. A-PDF Black/White DEMO : Purc Purchase from