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ț: 450.70 lei 563.38 lei 6-8 săpt. -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ț: 657.34 lei 821.68 lei 6-8 săpt. -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ț: 307.23 lei 384.04 lei 6-8 săpt. -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ț: 333.54 lei 416.93 lei 6-8 săpt. -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ț: 330.24 lei 412.80 lei 6-8 săpt. -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ț: 326.46 lei 408.07 lei 6-8 săpt. -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ț: 331.40 lei 414.26 lei 6-8 săpt. -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ț: 339.47 lei 424.34 lei 6-8 săpt. -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ț: 328.60 lei 410.75 lei 6-8 săpt. -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ț: 335.18 lei 418.98 lei 6-8 săpt. -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ț: 340.49 lei 425.62 lei 6-8 săpt. -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ț: 335.88 lei 419.85 lei 6-8 săpt. -20%