800 82 671KB
Russian Pages 29
Report DMCA / Copyright
DOWNLOAD FILE
1,240 98 3MB Read more
999 143 820KB Read more
Cyber-physical systems closely combine and coordinate subsystems consisting of both computational and physical elements.
892 160 5MB Read more
Title Page; Preface; Contents; Probabilistic Model Checking; SMT Solvers: Foundations and Applications; Formal Models fo
373 17 6MB Read more
1. Agent-based abstractions for software development / Munindar P. Singh -- 2. On the use of agents as components of sof
722 148 2MB Read more
398 40 12MB Read more
A comprehensive review of the life cycle processes, methods, and techniques used to develop and modify software-enabled
733 61 6MB Read more
1,570 206 4MB Read more
This book discusses what is currently known about software engineering, based on an analysis of all the publicly availab
1,564 142 22MB Read more
1,397 108 25MB Read more
Boxoft Image To PDF Demo. A-PDF Black/White DEMO : Purc Purchase from