2 كتب إلكترونية بواسطة Martin Franzle
Martin Franzle & Nicolas Markey: Formal Modeling and Analysis of Timed Systems
This book constitutes the refereed proceedings of the 14th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2016, held in Quebec, QC, Canada, in August 2016. The 14 …
PDF
الإنجليزية
DRM
€57.64
Martin Franzle & Deepak Kapur: Dependable Software Engineering: Theories, Tools, and Applications
This book constitutes the refereed proceedings of the Second International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2016, held in Beijing, China, in Nove …
PDF
الإنجليزية
DRM
€57.90
