Model Checking Software: 26th International Symposium, SPIN 2019, Beijing, China, July 15–16, 2019, Proceedings
Editat de Fabrizio Biondi et al.
14 sep 2019
Paperback
Preț: 324.60 lei 405.74 lei
6-8 săpt.
-20%
Cărți de Axel Legay
Risks and Security of Internet and Systems: 12th International Conference, CRiSIS 2017, Dinard, France, September 19-21, 2017, Revised Selected Papers
Editat de Nora Cuppens et al.
24 feb 2018
Paperback
Preț: 324.92 lei 406.15 lei
6-8 săpt.
-20%
Models, Algorithms, Logics and Tools: Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday
Editat de Luca Aceto et al.
25 iul 2017
Paperback
Preț: 344.30 lei 430.37 lei
6-8 săpt.
-20%
Risks and Security of Internet and Systems: 11th International Conference, CRiSIS 2016, Roscoff, France, September 5-7, 2016, Revised Selected Papers
Editat de Frédéric Cuppens et al.
2 mar 2017
Paperback
Preț: 323.46 lei 404.32 lei
6-8 săpt.
-20%
Tools and Algorithms for the Construction and Analysis of Systems: 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part II
Editat de Axel Legay et al.
31 mar 2017
Paperback
Preț: 332.50 lei 415.63 lei
6-8 săpt.
-20%
Automated Technology for Verification and Analysis: 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings
Editat de Cyrille Artho et al.
22 sep 2016
Paperback
Preț: 337.67 lei 422.09 lei
6-8 săpt.
-20%
Formal Modeling and Analysis of Timed Systems: 12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014, Proceedings
Editat de Axel Legay et al.
19 aug 2014
Paperback
Preț: 324.09 lei 405.12 lei
6-8 săpt.
-20%
From Programs to Systems - The Systems Perspective in Computing: ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014, Proceedings
Editat de Saddek Bensalem et al.
11 mar 2014
Paperback
Preț: 325.56 lei 406.95 lei
6-8 săpt.
-20%
Hardware and Software: Verification and Testing: 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings
Editat de Valeria Bertacco et al.
31 oct 2013
Paperback
Preț: 330.09 lei 412.61 lei
6-8 săpt.
-20%
Runtime Verification: 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013, Proceedings
Editat de Axel Legay et al.
19 aug 2013
Paperback
Preț: 332.97 lei 416.21 lei
6-8 săpt.
-20%