Search
Lexile Level
AR Level
AR Level
Model Checking Software: 20th International Symposium, Spin 2013, Stony Brook, Ny, Usa, July 8-9, 2013, Proceedings (2013) 9783642391750 by
Bartocci, Ezio -
Springer,
-2013
Dewey: 005.1
N/A
Lectures on Runtime Verification: Introductory and Advanced Topics (2018) 9783319756318 by
Bartocci, Ezio -
Springer,
-2018
Dewey: 005.1
N/A
From Reactive Systems to Cyber-Physical Systems: Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday (2019) 9783030315139 by
Bartocci, Ezio -
Springer,
-2019
Dewey: 005.1015113
N/A
Computational Methods in Systems Biology: 14th International Conference, Cmsb 2016, Cambridge, Uk, September 21-23, 2016, Proceedings (2016) 9783319451763 by
Bartocci, Ezio -
Springer,
-2016
Dewey: 570.285
N/A
Runtime Verification: 6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings (2015) 9783319238197 by
Bartocci, Ezio -
Springer,
-2015
Dewey: 005.1
N/A
Formal Methods in Outer Space: Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday (2021) 9783030873479 by
Bartocci, Ezio -
Springer,
-2021
N/A