Computer Aided Verification: 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part I
Editat de Alexandra Silva et al.
18 iul 2021
Paperback
Preț: 323.14 lei 403.93 lei
6-8 săpt.
-20%
Cărți de Alexandra Silva
Logic, Language, Information, and Computation: 27th International Workshop, WoLLIC 2021, Virtual Event, October 5–8, 2021, Proceedings
Editat de Alexandra Silva et al.
6 oct 2021
Paperback
Preț: 459.58 lei 540.68 lei
6-8 săpt.
-15%
Formal Techniques for Distributed Objects, Components, and Systems: 37th IFIP WG 6.1 International Conference, FORTE 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings
Editat de Ahmed Bouajjani et al.
28 mai 2017
Paperback
Preț: 318.00 lei 397.50 lei
6-8 săpt.
-20%