Active Object Languages: Current Research Trends Lecture Notes in Computer Science, nr. 14360 Editat de Frank de Boer et al. 29 ian 2024 Paperback Preț: 491.26 lei 614.09 lei 6-8 săpt. -20%
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 6-8 săpt. -20%
Behavioral Types in Programming Languages Autor Davide Ancona et al. 21 iul 2016 Paperback Preț: 494.37 lei 617.96 lei 6-8 săpt. -20%
Fundamental Approaches to Software Engineering Lecture Notes in Computer Science, nr. 13241 Editat de Einar Broch Johnsen et al. 29 mar 2022 Paperback Preț: 298.02 lei 372.53 lei 6-8 săpt. -20%
The Logic of Software. A Tasting Menu of Formal Methods Lecture Notes in Computer Science, nr. 13360 Editat de Wolfgang Ahrendt et al. 16 iun 2022 Paperback Preț: 661.54 lei 826.92 lei 6-8 săpt. -20%
Formal Methods for Executable Software Models Lecture Notes in Computer Science, nr. 8483 Editat de Marco Bernardo et al. 21 mai 2014 Paperback Preț: 337.80 lei 422.24 lei 6-8 săpt. -20%
Formal Methods for Multicore Programming Lecture Notes in Computer Science, nr. 9104 Editat de Marco Bernardo et al. 19 mai 2015 Paperback Preț: 330.76 lei 413.45 lei 6-8 săpt. -20%
Theory and Practice of Formal Methods Lecture Notes in Computer Science, nr. 9660 Editat de Erika Ábrahám et al. 13 mar 2016 Paperback Preț: 342.50 lei 428.13 lei 6-8 săpt. -20%
Service-Oriented and Cloud Computing Lecture Notes in Computer Science, nr. 9846 Editat de Marco Aiello et al. 25 aug 2016 Paperback Preț: 333.74 lei 417.18 lei 6-8 săpt. -20%
Tests and Proofs Lecture Notes in Computer Science, nr. 10375 Editat de Sebastian Gabmeyer et al. 18 iun 2017 Paperback Preț: 328.42 lei 410.52 lei 6-8 săpt. -20%
Service-Oriented and Cloud Computing Lecture Notes in Computer Science, nr. 10465 Editat de Flavio De Paoli et al. sep 2017 Paperback Preț: 332.47 lei 415.58 lei 6-8 săpt. -20%
Software Engineering and Formal Methods Lecture Notes in Computer Science, nr. 10886 Editat de Einar Broch Johnsen et al. 30 mai 2018 Paperback Preț: 336.09 lei 420.10 lei 6-8 săpt. -20%
Integrated Formal Methods Editat de Einar Broch Johnsen et al. 24 mai 2013 Paperback Preț: 343.57 lei 429.46 lei 6-8 săpt. -20%