Model Checking Software
Editat de Owolabi Legunsen et al.
23 aug 2022
Paperback
Preț: 617.12 lei 771.39 lei
6-8 săpt. | 7-11 zile
-20%
Cărți de Grigore Rosu
Tools and Algorithms for the Construction and Analysis of Systems
Editat de Dana Fisman et al.
30 mar 2022
Paperback
Preț: 255.73 lei 319.67 lei
3-5 săpt. | 7-11 zile
-20%
Formal Techniques for Distributed Systems
Editat de Holger Giese et al.
31 mai 2012
Paperback
Preț: 321.36 lei 401.70 lei
6-8 săpt.
-20%
Algebraic Methodology and Software Technology
Editat de José Meseguer et al.
15 iul 2008
Paperback
Preț: 329.94 lei 412.42 lei
6-8 săpt.
-20%
Formal Approaches to Software Testing and Runtime Verification
Editat de Klaus Havelund et al.
7 dec 2006
Paperback
Preț: 318.99 lei 398.73 lei
6-8 săpt.
-20%