Models, Algorithms, Logics and Tools
Editat de Luca Aceto et al.
25 iul 2017
Paperback
Preț: 341.61 lei 427.02 lei
6-8 săpt.
-20%
Cărți de Axel Legay
Runtime Verification
Editat de Axel Legay et al.
19 aug 2013
Paperback
Preț: 329.51 lei 411.90 lei
6-8 săpt.
-20%
Model Checking Software
Editat de Fabrizio Biondi et al.
14 sep 2019
Paperback
Preț: 320.72 lei 400.90 lei
6-8 săpt.
-20%
Hardware and Software: Verification and Testing
Editat de Valeria Bertacco et al.
31 oct 2013
Paperback
Preț: 326.68 lei 408.36 lei
6-8 săpt.
-20%
Formal Modeling and Analysis of Timed Systems
Editat de Axel Legay et al.
19 aug 2014
Paperback
Preț: 320.32 lei 400.41 lei
6-8 săpt.
-20%
Automated Technology for Verification and Analysis
Editat de Cyrille Artho et al.
22 sep 2016
Paperback
Preț: 334.63 lei 418.29 lei
6-8 săpt.
-20%
Risks and Security of Internet and Systems
Editat de Frédéric Cuppens et al.
2 mar 2017
Paperback
Preț: 319.49 lei 399.37 lei
6-8 săpt.
-20%
Risks and Security of Internet and Systems
Editat de Nora Cuppens et al.
24 feb 2018
Paperback
Preț: 321.15 lei 401.43 lei
6-8 săpt.
-20%
From Programs to Systems - The Systems Perspective in Computing
Editat de Saddek Bensalem et al.
11 mar 2014
Paperback
Preț: 321.74 lei 402.18 lei
6-8 săpt.
-20%
Tools and Algorithms for the Construction and Analysis of Systems
Editat de Axel Legay et al.
31 mar 2017
Paperback
Preț: 324.90 lei 406.13 lei
6-8 săpt.
-20%