Formal Methods: 25th International Symposium, FM 2023, Lübeck, Germany, March 6–10, 2023, Proceedings Lecture Notes in Computer Science, nr. 14000 Editat de Marsha Chechik et al. 3 mar 2023 Paperback Preț: 629.06 lei 786.32 lei 6-8 săpt. -20%
Verified Software. Theories, Tools, and Experiments: 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17–18, 2016, Revised Selected Papers Lecture Notes in Computer Science, nr. 9971 Editat de Sandrine Blazy et al. 8 noi 2016 Paperback Preț: 311.20 lei 388.99 lei 6-8 săpt. -20%
Tools and Algorithms for the Construction and Analysis of Systems: 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings Lecture Notes in Computer Science, nr. 9636 Editat de Marsha Chechik et al. 9 apr 2016 Paperback Preț: 346.96 lei 433.70 lei 6-8 săpt. -20%
Fundamental Approaches to Software Engineering: 12th International Conference, FASE 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009, Proceedings Lecture Notes in Computer Science, nr. 5503 Editat de Marsha Chechik et al. 9 mar 2009 Paperback Preț: 326.66 lei 408.31 lei 6-8 săpt. -20%
CONCUR 2008 - Concurrency Theory: 19th International Conference, CONCUR 2008, Toronto, Canada, August 19-22, 2008, Proceedings Lecture Notes in Computer Science, nr. 5201 Editat de Franck van Breugel et al. 30 iul 2008 Paperback Preț: 328.68 lei 410.85 lei 6-8 săpt. -20%