Active Object Languages: Current Research Trends
Editat de Frank de Boer et al.
29 ian 2024
Paperback
Preț: 491.26 lei 614.09 lei
43-57 zile
-20%
Cărți de Einar Broch Johnsen
Formal Methods for Open Object-Based Distributed Systems
Editat de Marcello M. Bonsangue et al.
25 mai 2007
Paperback
Preț: 323.81 lei 404.76 lei
43-57 zile
-20%
Behavioral Types in Programming Languages
Autor Davide Ancona et al.
21 iul 2016
Paperback
Preț: 494.37 lei 617.96 lei
43-57 zile
-20%
Fundamental Approaches to Software Engineering
Editat de Einar Broch Johnsen et al.
29 mar 2022
Paperback
Preț: 298.02 lei 372.53 lei
43-57 zile
-20%
The Logic of Software. A Tasting Menu of Formal Methods
Editat de Wolfgang Ahrendt et al.
16 iun 2022
Paperback
Preț: 635.97 lei 794.97 lei
43-57 zile
-20%
Formal Methods for Executable Software Models
Editat de Marco Bernardo et al.
21 mai 2014
Paperback
Preț: 324.82 lei 406.03 lei
43-57 zile
-20%
Formal Methods for Multicore Programming
Editat de Marco Bernardo et al.
19 mai 2015
Paperback
Preț: 318.06 lei 397.57 lei
43-57 zile
-20%
Theory and Practice of Formal Methods
Editat de Erika Ábrahám et al.
13 mar 2016
Paperback
Preț: 329.35 lei 411.69 lei
43-57 zile
-20%
Service-Oriented and Cloud Computing
Editat de Marco Aiello et al.
25 aug 2016
Paperback
Preț: 320.93 lei 401.17 lei
43-57 zile
-20%
Tests and Proofs
Editat de Sebastian Gabmeyer et al.
18 iun 2017
Paperback
Preț: 315.82 lei 394.77 lei
43-57 zile
-20%
Service-Oriented and Cloud Computing
Editat de Flavio De Paoli et al.
sep 2017
Paperback
Preț: 319.70 lei 399.63 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ț: 320.86 lei 401.08 lei
43-57 zile
-20%
Integrated Formal Methods
Editat de Einar Broch Johnsen et al.
24 mai 2013
Paperback
Preț: 330.36 lei 412.95 lei
43-57 zile
-20%