825 82 671KB
Russian Pages 29
Report DMCA / Copyright
DOWNLOAD FILE
1,269 102 3MB Read more
1,031 151 820KB Read more
Cyber-physical systems closely combine and coordinate subsystems consisting of both computational and physical elements.
914 162 5MB Read more
Title Page; Preface; Contents; Probabilistic Model Checking; SMT Solvers: Foundations and Applications; Formal Models fo
381 17 6MB Read more
415 42 12MB 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
A comprehensive review of the life cycle processes, methods, and techniques used to develop and modify software-enabled
741 62 6MB Read more
375 101 5MB Read more
1,618 211 4MB 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
Boxoft Image To PDF Demo. A-PDF Black/White DEMO : Purc Purchase from