Formal Methods and Software Engineering
Editat de Étienne André et al.
12 noi 2025
Paperback
Preț: 465.27 lei 581.58 lei
3-5 săpt.
-20%
Cărți de Naijun Zhan
Symposium on Real-Time and Hybrid Systems
Editat de Cliff Jones et al.
29 sep 2018
Paperback
Preț: 320.93 lei 401.17 lei
6-8 săpt.
-20%
Formal Methods: 24th International Symposium, FM 2021, Virtual Event, November 20–26, 2021, Proceedings
Editat de Marieke Huisman et al.
10 noi 2021
Paperback
Preț: 699.94 lei 874.94 lei
6-8 săpt.
-20%
Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach
Autor Naijun Zhan et al.
14 noi 2016
Hardback
Preț: 703.42 lei 857.83 lei
6-8 săpt.
-18%
Dependable Software Engineering: Theories, Tools, and Applications
Editat de Martin Fränzle et al.
6 oct 2016
Paperback
Preț: 324.41 lei 405.51 lei
6-8 săpt.
-20%