From Action Systems to Distributed Systems: The Refinement Approach
Editat de Luigia Petre et al.
30 iun 2020
Paperback
Preț: 257.41 lei 373.65 lei
6-8 săpt.
-31%
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ț: 313.17 lei 391.47 lei
6-8 săpt.
-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ț: 322.40 lei 403.00 lei
6-8 săpt.
-20%
Dependability and Computer Engineering
Editat de Luigia Petre et al.
28 iun 2011
Hardback
Preț: 1048.36 lei 1361.50 lei
6-8 săpt.
-23%
Integrated Formal Methods: Third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002. Proceedings.
Editat de Michael Butler et al.
2 mai 2002
Paperback
Preț: 333.31 lei 416.64 lei
6-8 săpt.
-20%