NASA Formal Methods: 12th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11–15, 2020, Proceedings
Editat de Ritchie Lee et al.
9 aug 2020
Paperback
Preț: 464.56 lei 580.70 lei
6-8 săpt.
-20%
Cărți de Dimitra Giannakopoulou
Software Engineering and Formal Methods: 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014, Proceedings
Editat de Dimitra Giannakopoulou et al.
4 aug 2014
Paperback
Preț: 325.47 lei 406.84 lei
6-8 săpt.
-20%
Verified Software: Theories, Tools and Experiments: 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers
Editat de Dimitra Giannakopoulou et al.
28 oct 2014
Paperback
Preț: 319.92 lei 399.90 lei
6-8 săpt.
-20%
FM 2012: Formal Methods
Editat de Dimitra Giannakopoulou et al.
21 iul 2012
Paperback
Preț: 331.59 lei 414.49 lei
6-8 săpt.
-20%