From Action Systems to Distributed Systems: The Refinement Approach
Editat de Luigia Petre et al.
30 iun 2020
Paperback
Preț: 261.68 lei 374.85 lei
43-57 zile
-30%
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ț: 330.75 lei 413.44 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ț: 340.49 lei 425.62 lei
43-57 zile
-20%
Dependability and Computer Engineering
Editat de Luigia Petre et al.
28 iun 2011
Hardback
Preț: 1106.95 lei 1437.60 lei
43-57 zile
-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ț: 352.02 lei 440.02 lei
43-57 zile
-20%