2 电子书 Patricia Bouyer
Eugene Asarin & Patricia Bouyer: Formal Modeling and Analysis of Timed Systems
This volume contains the proceedings of the 4th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS 2006), held in Paris (France) on September 25-27, 2006. FORMATS aim …
PDF
英语
DRM
€57.88
Patricia Bouyer & Lutz Schroder: Foundations of Software Science and Computation Structures
This open access book constitutes the proceedings of the 25th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2022, which was held during April 4-6, …
PDF
英语
DRM
€3.83
