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ț: 387.81 lei 484.75 lei 39-44 zile -20%
The Logic of Software. A Tasting Menu of Formal Methods: Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday Lecture Notes in Computer Science, nr. 13360 Editat de Wolfgang Ahrendt et al. 16 iun 2022 Paperback Preț: 532.05 lei 665.06 lei 39-44 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 Lecture Notes in Computer Science, nr. 13241 Editat de Einar Broch Johnsen et al. 29 mar 2022 Paperback Preț: 245.16 lei 306.45 lei 39-44 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 Lecture Notes in Computer Science, nr. 10886 Editat de Einar Broch Johnsen et al. 30 mai 2018 Paperback Preț: 297.27 lei 371.58 lei 39-44 zile -20%
Service-Oriented and Cloud Computing: 6th IFIP WG 2.14 European Conference, ESOCC 2017, Oslo, Norway, September 27-29, 2017, Proceedings Lecture Notes in Computer Science, nr. 10465 Editat de Flavio De Paoli et al. sep 2017 Paperback Preț: 291.63 lei 364.53 lei 39-44 zile -20%
Tests and Proofs: 11th International Conference, TAP 2017, Held as Part of STAF 2017, Marburg, Germany, July 19–20, 2017, Proceedings Lecture Notes in Computer Science, nr. 10375 Editat de Sebastian Gabmeyer et al. 18 iun 2017 Paperback Preț: 440.52 lei 550.64 lei 39-44 zile -20%
Service-Oriented and Cloud Computing: 5th IFIP WG 2.14 European Conference, ESOCC 2016, Vienna, Austria, September 5-7, 2016, Proceedings Lecture Notes in Computer Science, nr. 9846 Editat de Marco Aiello et al. 25 aug 2016 Paperback Preț: 293.60 lei 367.00 lei 39-44 zile -20%
Theory and Practice of Formal Methods: Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday Lecture Notes in Computer Science, nr. 9660 Editat de Erika Ábrahám et al. 13 mar 2016 Paperback Preț: 679.50 lei 849.38 lei 39-44 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 Lecture Notes in Computer Science, nr. 9104 Editat de Marco Bernardo et al. 19 mai 2015 Paperback Preț: 469.76 lei 587.20 lei 39-44 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 Lecture Notes in Computer Science, nr. 8483 Editat de Marco Bernardo et al. 21 mai 2014 Paperback Preț: 599.88 lei 749.85 lei 39-44 zile -20%
Integrated Formal Methods: 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013, Proceedings Lecture Notes in Computer Science, nr. 7940 Editat de Einar Broch Johnsen et al. 24 mai 2013 Paperback Preț: 312.84 lei 391.04 lei 39-44 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 Lecture Notes in Computer Science, nr. 4468 Editat de Marcello M. Bonsangue et al. 25 mai 2007 Paperback Preț: 301.23 lei 376.54 lei 39-44 zile -20%