Active Object Languages: Current Research Trends
Editat de Frank de Boer et al.
29 ian 2024
Paperback
Preț: 450.70 lei 563.38 lei
43-57 zile
-20%
Cărți de Einar Broch Johnsen
The Logic of Software. A Tasting Menu of Formal Methods: Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday
Editat de Wolfgang Ahrendt et al.
16 iun 2022
Paperback
Preț: 657.34 lei 821.68 lei
43-57 zile
-20%
Fundamental Approaches to Software Engineering: 25th International Conference, FASE 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings
Editat de Einar Broch Johnsen et al.
29 mar 2022
Paperback
Preț: 307.23 lei 384.04 lei
43-57 zile
-20%
Software Engineering and Formal Methods: 16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27–29, 2018, Proceedings
Editat de Einar Broch Johnsen et al.
30 mai 2018
Paperback
Preț: 333.54 lei 416.93 lei
43-57 zile
-20%
Service-Oriented and Cloud Computing: 6th IFIP WG 2.14 European Conference, ESOCC 2017, Oslo, Norway, September 27-29, 2017, Proceedings
Editat de Flavio De Paoli et al.
sep 2017
Paperback
Preț: 330.24 lei 412.80 lei
43-57 zile
-20%
Tests and Proofs: 11th International Conference, TAP 2017, Held as Part of STAF 2017, Marburg, Germany, July 19–20, 2017, Proceedings
Editat de Sebastian Gabmeyer et al.
18 iun 2017
Paperback
Preț: 326.46 lei 408.07 lei
43-57 zile
-20%
Service-Oriented and Cloud Computing: 5th IFIP WG 2.14 European Conference, ESOCC 2016, Vienna, Austria, September 5-7, 2016, Proceedings
Editat de Marco Aiello et al.
25 aug 2016
Paperback
Preț: 331.40 lei 414.26 lei
43-57 zile
-20%
Theory and Practice of Formal Methods: Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday
Editat de Erika Ábrahám et al.
13 mar 2016
Paperback
Preț: 339.47 lei 424.34 lei
43-57 zile
-20%
Formal Methods for Multicore Programming: 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures
Editat de Marco Bernardo et al.
19 mai 2015
Paperback
Preț: 328.60 lei 410.75 lei
43-57 zile
-20%
Formal Methods for Executable Software Models: 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures
Editat de Marco Bernardo et al.
21 mai 2014
Paperback
Preț: 335.18 lei 418.98 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%
Formal Methods for Open Object-Based Distributed Systems: 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings
Editat de Marcello M. Bonsangue et al.
25 mai 2007
Paperback
Preț: 335.88 lei 419.85 lei
43-57 zile
-20%