Integrated Formal Methods
Editat de Michael Butler et al.
2 mai 2002
Paperback
Preț: 327.12 lei 408.89 lei
43-57 zile
-20%
Cărți de Luigia Petre
Formal Methods Teaching: Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings
Editat de Brijesh Dongol et al.
16 oct 2019
Paperback
Preț: 318.17 lei 397.71 lei
43-57 zile
-20%
Integrated Formal Methods: 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013, Proceedings
Editat de Einar Broch Johnsen et al.
24 mai 2013
Paperback
Preț: 327.54 lei 409.42 lei
43-57 zile
-20%
From Action Systems to Distributed Systems: The Refinement Approach
Editat de Luigia Petre et al.
30 iun 2020
Paperback
Preț: 352.01 lei 440.02 lei
43-57 zile
-20%