Ezio Bartocci - Böcker
Visar alla böcker från författaren Ezio Bartocci.
6 produkter
6 produkter
Del 11500 - Lecture Notes in Computer Science
From Reactive Systems to Cyber-Physical Systems
Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday
Häftad, Engelska, 2019
719 kr
Skickas inom 10-15 vardagar
Del 13065 - Lecture Notes in Computer Science
Formal Methods in Outer Space
Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday
Häftad, Engelska, 2021
789 kr
Skickas inom 10-15 vardagar
Del 9333 - Lecture Notes in Computer Science
Runtime Verification
6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings
Häftad, Engelska, 2015
719 kr
Skickas inom 10-15 vardagar
Del 9859 - Lecture Notes in Computer Science
Computational Methods in Systems Biology
14th International Conference, CMSB 2016, Cambridge, UK, September 21-23, 2016, Proceedings
Häftad, Engelska, 2016
699 kr
Skickas inom 10-15 vardagar
Del 10457 - Lecture Notes in Computer Science
Lectures on Runtime Verification
Introductory and Advanced Topics
Häftad, Engelska, 2018
929 kr
Skickas inom 10-15 vardagar
Model Checking Software
20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013, Proceedings
Häftad, Engelska, 2013
719 kr
Skickas inom 10-15 vardagar